Practical TLA+

Guardat en:

Dades bibliogràfiques
Autor principal:	Wayne, Hillel
Format:	Llibre
Idioma:	English
Publicat:	Apress 2020
Matèries:	Computer Science Programming Languages, Compilers, Interpreters Programming Techniques
Accés en línia:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/86140
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

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

Ítems similars

Practical C++ Design
per: Singer, Adam B.
Publicat: (2020)

Practical Aspects of Declarative Languages
Publicat: (2020)

Practical Aspects of Declarative Languages
per: Hanus, Michael
Publicat: (2020)

Practical Aspects of Declarative Languages
per: Hudak, Paul, et al.
Publicat: (2020)

Practical Aspects of Declarative Languages
per: Lierler, Yuliya, et al.
Publicat: (2020)

Practical Scala DSLs. 1st ed.
per: Riti, Pierluigi
Publicat: (2020)

Pro Python Best Practices. 1st ed.
per: Rother, Kristian
Publicat: (2020)

Practical Aspects of Declarative Languages
per: Komendantskaya, Ekaterina, et al.
Publicat: (2020)

Advances in Smalltalk
per: Meuter, Wolfgang De
Publicat: (2020)

C# and XML Primer. 1st ed.
per: Hartwell, Jonathan
Publicat: (2020)

All About Maude - A High-Performance Logical Framework
per: Clavel, Manuel, et al.
Publicat: (2020)

Languages and Compilers for High Performance Computing
per: Eigenmann, Rudolf, et al.
Publicat: (2020)

Network Programming with Go
per: Newmarch, Jan
Publicat: (2020)

Rules and Reasoning
per: Costantini, Stefania, et al.
Publicat: (2020)

Test Driven Development in Ruby
per: Paranj, Bala
Publicat: (2020)

Systems Programming in Unix/Linux
per: Wang, K.C.
Publicat: (2020)

Machine Learning Using R
per: Ramasubramanian, Karthik, et al.
Publicat: (2020)

Functional Programming in R
per: Mailund, Thomas
Publicat: (2020)

Languages and Compilers for Parallel Computing
per: Pugh, Bill, et al.
Publicat: (2020)

Advances in Artificial Intelligence - SBIA 2008
Publicat: (2020)

Central European Functional Programming School
Publicat: (2020)

Beginning Bazel
per: McNerney, P.J.
Publicat: (2020)

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

Introduction to Programming with Fortran
per: Chivers, Ian, et al.
Publicat: (2020)

Modeling Decisions for Artificial Intelligence
Publicat: (2020)

Rules and Reasoning
per: Benzmüller, Christoph, et al.
Publicat: (2020)

Learn Unity for Android Game Development
per: Sinicki, Adam
Publicat: (2020)

Applications of Declarative Programming and Knowledge Management
Publicat: (2020)

MICAI 2008: Advances in Artificial Intelligence
Publicat: (2020)

Beginning Rust
per: Milanesi, Carlo
Publicat: (2020)

Exploring Swift Playgrounds. 1st ed.
per: Feiler, Jesse
Publicat: (2020)

Clean C++
per: Roth, Stephan
Publicat: (2020)

An Introduction to HTML and JavaScript
per: Brooks, David R.
Publicat: (2020)

Model Checking and Artificial Intelligence
Publicat: (2020)

Interpreting LISP. 2nd ed.
per: Knott, Gary D.
Publicat: (2020)

Beginning Ada Programming
per: Shvets, Andrew T.
Publicat: (2020)

Logic and Its Applications
Publicat: (2020)

Guide to Assembly Language Programming in Linux
Publicat: (2020)

MATLAB Machine Learning. 1st ed.
per: Paluszek, Michael, et al.
Publicat: (2020)

Logics in Artificial Intelligence
Publicat: (2020)