Practical TLA+

Enregistré dans:

Détails bibliographiques
Auteur principal:	Wayne, Hillel
Format:	Livre
Langue:	English
Publié:	Apress 2020
Sujets:	Computer Science Programming Languages, Compilers, Interpreters Programming Techniques
Accès en ligne:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/86140
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Documents similaires

Practical C++ Design
par: Singer, Adam B.
Publié: (2020)

Practical Aspects of Declarative Languages
Publié: (2020)

Practical Aspects of Declarative Languages
par: Hanus, Michael
Publié: (2020)

Practical Aspects of Declarative Languages
par: Hudak, Paul, et autres
Publié: (2020)

Practical Aspects of Declarative Languages
par: Lierler, Yuliya, et autres
Publié: (2020)

Practical Scala DSLs. 1st ed.
par: Riti, Pierluigi
Publié: (2020)

Pro Python Best Practices. 1st ed.
par: Rother, Kristian
Publié: (2020)

Practical Aspects of Declarative Languages
par: Komendantskaya, Ekaterina, et autres
Publié: (2020)

Advances in Smalltalk
par: Meuter, Wolfgang De
Publié: (2020)

C# and XML Primer. 1st ed.
par: Hartwell, Jonathan
Publié: (2020)

All About Maude - A High-Performance Logical Framework
par: Clavel, Manuel, et autres
Publié: (2020)

Languages and Compilers for High Performance Computing
par: Eigenmann, Rudolf, et autres
Publié: (2020)

Network Programming with Go
par: Newmarch, Jan
Publié: (2020)

Rules and Reasoning
par: Costantini, Stefania, et autres
Publié: (2020)

Test Driven Development in Ruby
par: Paranj, Bala
Publié: (2020)

Systems Programming in Unix/Linux
par: Wang, K.C.
Publié: (2020)

Machine Learning Using R
par: Ramasubramanian, Karthik, et autres
Publié: (2020)

Functional Programming in R
par: Mailund, Thomas
Publié: (2020)

Languages and Compilers for Parallel Computing
par: Pugh, Bill, et autres
Publié: (2020)

Advances in Artificial Intelligence - SBIA 2008
Publié: (2020)

Central European Functional Programming School
Publié: (2020)

Beginning Bazel
par: McNerney, P.J.
Publié: (2020)

Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence
Publié: (2020)

Introduction to Programming with Fortran
par: Chivers, Ian, et autres
Publié: (2020)

Modeling Decisions for Artificial Intelligence
Publié: (2020)

Rules and Reasoning
par: Benzmüller, Christoph, et autres
Publié: (2020)

Learn Unity for Android Game Development
par: Sinicki, Adam
Publié: (2020)

Applications of Declarative Programming and Knowledge Management
Publié: (2020)

MICAI 2008: Advances in Artificial Intelligence
Publié: (2020)

Beginning Rust
par: Milanesi, Carlo
Publié: (2020)

Exploring Swift Playgrounds. 1st ed.
par: Feiler, Jesse
Publié: (2020)

Clean C++
par: Roth, Stephan
Publié: (2020)

An Introduction to HTML and JavaScript
par: Brooks, David R.
Publié: (2020)

Model Checking and Artificial Intelligence
Publié: (2020)

Interpreting LISP. 2nd ed.
par: Knott, Gary D.
Publié: (2020)

Beginning Ada Programming
par: Shvets, Andrew T.
Publié: (2020)

Logic and Its Applications
Publié: (2020)

Guide to Assembly Language Programming in Linux
Publié: (2020)

MATLAB Machine Learning. 1st ed.
par: Paluszek, Michael, et autres
Publié: (2020)

Logics in Artificial Intelligence
Publié: (2020)