Practical TLA+

QR code

Practical TLA+

Bewaard in:

Bibliografische gegevens
Hoofdauteur:	Wayne, Hillel
Formaat:	Boek
Taal:	English
Gepubliceerd in:	Apress 2020
Onderwerpen:	Computer Science Programming Languages, Compilers, Interpreters Programming Techniques
Online toegang:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/86140
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!

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

Gelijkaardige items

Practical C++ Design
door: Singer, Adam B.
Gepubliceerd in: (2020)

Practical Aspects of Declarative Languages
Gepubliceerd in: (2020)

Practical Aspects of Declarative Languages
door: Hanus, Michael
Gepubliceerd in: (2020)

Practical Aspects of Declarative Languages
door: Hudak, Paul, et al.
Gepubliceerd in: (2020)

Practical Aspects of Declarative Languages
door: Lierler, Yuliya, et al.
Gepubliceerd in: (2020)

Practical Scala DSLs. 1st ed.
door: Riti, Pierluigi
Gepubliceerd in: (2020)

Pro Python Best Practices. 1st ed.
door: Rother, Kristian
Gepubliceerd in: (2020)

Practical Aspects of Declarative Languages
door: Komendantskaya, Ekaterina, et al.
Gepubliceerd in: (2020)

Advances in Smalltalk
door: Meuter, Wolfgang De
Gepubliceerd in: (2020)

C# and XML Primer. 1st ed.
door: Hartwell, Jonathan
Gepubliceerd in: (2020)

All About Maude - A High-Performance Logical Framework
door: Clavel, Manuel, et al.
Gepubliceerd in: (2020)

Languages and Compilers for High Performance Computing
door: Eigenmann, Rudolf, et al.
Gepubliceerd in: (2020)

Network Programming with Go
door: Newmarch, Jan
Gepubliceerd in: (2020)

Rules and Reasoning
door: Costantini, Stefania, et al.
Gepubliceerd in: (2020)

Test Driven Development in Ruby
door: Paranj, Bala
Gepubliceerd in: (2020)

Systems Programming in Unix/Linux
door: Wang, K.C.
Gepubliceerd in: (2020)

Machine Learning Using R
door: Ramasubramanian, Karthik, et al.
Gepubliceerd in: (2020)

Functional Programming in R
door: Mailund, Thomas
Gepubliceerd in: (2020)

Languages and Compilers for Parallel Computing
door: Pugh, Bill, et al.
Gepubliceerd in: (2020)

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

Central European Functional Programming School
Gepubliceerd in: (2020)

Beginning Bazel
door: McNerney, P.J.
Gepubliceerd in: (2020)

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

Introduction to Programming with Fortran
door: Chivers, Ian, et al.
Gepubliceerd in: (2020)

Modeling Decisions for Artificial Intelligence
Gepubliceerd in: (2020)

Rules and Reasoning
door: Benzmüller, Christoph, et al.
Gepubliceerd in: (2020)

Learn Unity for Android Game Development
door: Sinicki, Adam
Gepubliceerd in: (2020)

Applications of Declarative Programming and Knowledge Management
Gepubliceerd in: (2020)

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

Beginning Rust
door: Milanesi, Carlo
Gepubliceerd in: (2020)

Exploring Swift Playgrounds. 1st ed.
door: Feiler, Jesse
Gepubliceerd in: (2020)

Clean C++
door: Roth, Stephan
Gepubliceerd in: (2020)

An Introduction to HTML and JavaScript
door: Brooks, David R.
Gepubliceerd in: (2020)

Model Checking and Artificial Intelligence
Gepubliceerd in: (2020)

Interpreting LISP. 2nd ed.
door: Knott, Gary D.
Gepubliceerd in: (2020)

Beginning Ada Programming
door: Shvets, Andrew T.
Gepubliceerd in: (2020)

Logic and Its Applications
Gepubliceerd in: (2020)

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

MATLAB Machine Learning. 1st ed.
door: Paluszek, Michael, et al.
Gepubliceerd in: (2020)

Logics in Artificial Intelligence
Gepubliceerd in: (2020)