Practical TLA+

Sparad:

Bibliografiska uppgifter
Huvudupphovsman:	Wayne, Hillel
Materialtyp:	Bok
Språk:	English
Publicerad:	Apress 2020
Ämnen:	Computer Science Programming Languages, Compilers, Interpreters Programming Techniques
Länkar:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/86140
Taggar:	Lägg till en tagg Inga taggar, Lägg till första taggen!

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

Liknande verk

Practical C++ Design
av: Singer, Adam B.
Publicerad: (2020)

Practical Aspects of Declarative Languages
Publicerad: (2020)

Practical Aspects of Declarative Languages
av: Hanus, Michael
Publicerad: (2020)

Practical Aspects of Declarative Languages
av: Hudak, Paul, et al.
Publicerad: (2020)

Practical Aspects of Declarative Languages
av: Lierler, Yuliya, et al.
Publicerad: (2020)

Practical Scala DSLs. 1st ed.
av: Riti, Pierluigi
Publicerad: (2020)

Pro Python Best Practices. 1st ed.
av: Rother, Kristian
Publicerad: (2020)

Practical Aspects of Declarative Languages
av: Komendantskaya, Ekaterina, et al.
Publicerad: (2020)

Advances in Smalltalk
av: Meuter, Wolfgang De
Publicerad: (2020)

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

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

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

Network Programming with Go
av: Newmarch, Jan
Publicerad: (2020)

Rules and Reasoning
av: Costantini, Stefania, et al.
Publicerad: (2020)

Test Driven Development in Ruby
av: Paranj, Bala
Publicerad: (2020)

Systems Programming in Unix/Linux
av: Wang, K.C.
Publicerad: (2020)

Machine Learning Using R
av: Ramasubramanian, Karthik, et al.
Publicerad: (2020)

Functional Programming in R
av: Mailund, Thomas
Publicerad: (2020)

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

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

Central European Functional Programming School
Publicerad: (2020)

Beginning Bazel
av: McNerney, P.J.
Publicerad: (2020)

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

Introduction to Programming with Fortran
av: Chivers, Ian, et al.
Publicerad: (2020)

Modeling Decisions for Artificial Intelligence
Publicerad: (2020)

Rules and Reasoning
av: Benzmüller, Christoph, et al.
Publicerad: (2020)

Learn Unity for Android Game Development
av: Sinicki, Adam
Publicerad: (2020)

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

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

Beginning Rust
av: Milanesi, Carlo
Publicerad: (2020)

Exploring Swift Playgrounds. 1st ed.
av: Feiler, Jesse
Publicerad: (2020)

Clean C++
av: Roth, Stephan
Publicerad: (2020)

An Introduction to HTML and JavaScript
av: Brooks, David R.
Publicerad: (2020)

Model Checking and Artificial Intelligence
Publicerad: (2020)

Interpreting LISP. 2nd ed.
av: Knott, Gary D.
Publicerad: (2020)

Beginning Ada Programming
av: Shvets, Andrew T.
Publicerad: (2020)

Logic and Its Applications
Publicerad: (2020)

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

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

Logics in Artificial Intelligence
Publicerad: (2020)