Practical TLA+

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Wayne, Hillel
Médium:	Kniha
Jazyk:	English
Vydáno:	Apress 2020
Témata:	Computer Science Programming Languages, Compilers, Interpreters Programming Techniques
On-line přístup:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/86140
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!

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

Podobné jednotky

Practical C++ Design
Autor: Singer, Adam B.
Vydáno: (2020)

Practical Aspects of Declarative Languages
Vydáno: (2020)

Practical Aspects of Declarative Languages
Autor: Hanus, Michael
Vydáno: (2020)

Practical Aspects of Declarative Languages
Autor: Hudak, Paul, a další
Vydáno: (2020)

Practical Aspects of Declarative Languages
Autor: Lierler, Yuliya, a další
Vydáno: (2020)

Practical Scala DSLs. 1st ed.
Autor: Riti, Pierluigi
Vydáno: (2020)

Pro Python Best Practices. 1st ed.
Autor: Rother, Kristian
Vydáno: (2020)

Practical Aspects of Declarative Languages
Autor: Komendantskaya, Ekaterina, a další
Vydáno: (2020)

Advances in Smalltalk
Autor: Meuter, Wolfgang De
Vydáno: (2020)

C# and XML Primer. 1st ed.
Autor: Hartwell, Jonathan
Vydáno: (2020)

All About Maude - A High-Performance Logical Framework
Autor: Clavel, Manuel, a další
Vydáno: (2020)

Languages and Compilers for High Performance Computing
Autor: Eigenmann, Rudolf, a další
Vydáno: (2020)

Network Programming with Go
Autor: Newmarch, Jan
Vydáno: (2020)

Rules and Reasoning
Autor: Costantini, Stefania, a další
Vydáno: (2020)

Test Driven Development in Ruby
Autor: Paranj, Bala
Vydáno: (2020)

Systems Programming in Unix/Linux
Autor: Wang, K.C.
Vydáno: (2020)

Machine Learning Using R
Autor: Ramasubramanian, Karthik, a další
Vydáno: (2020)

Functional Programming in R
Autor: Mailund, Thomas
Vydáno: (2020)

Languages and Compilers for Parallel Computing
Autor: Pugh, Bill, a další
Vydáno: (2020)

Advances in Artificial Intelligence - SBIA 2008
Vydáno: (2020)

Central European Functional Programming School
Vydáno: (2020)

Beginning Bazel
Autor: McNerney, P.J.
Vydáno: (2020)

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

Introduction to Programming with Fortran
Autor: Chivers, Ian, a další
Vydáno: (2020)

Modeling Decisions for Artificial Intelligence
Vydáno: (2020)

Rules and Reasoning
Autor: Benzmüller, Christoph, a další
Vydáno: (2020)

Learn Unity for Android Game Development
Autor: Sinicki, Adam
Vydáno: (2020)

Applications of Declarative Programming and Knowledge Management
Vydáno: (2020)

MICAI 2008: Advances in Artificial Intelligence
Vydáno: (2020)

Beginning Rust
Autor: Milanesi, Carlo
Vydáno: (2020)

Exploring Swift Playgrounds. 1st ed.
Autor: Feiler, Jesse
Vydáno: (2020)

Clean C++
Autor: Roth, Stephan
Vydáno: (2020)

An Introduction to HTML and JavaScript
Autor: Brooks, David R.
Vydáno: (2020)

Model Checking and Artificial Intelligence
Vydáno: (2020)

Interpreting LISP. 2nd ed.
Autor: Knott, Gary D.
Vydáno: (2020)

Beginning Ada Programming
Autor: Shvets, Andrew T.
Vydáno: (2020)

Logic and Its Applications
Vydáno: (2020)

Guide to Assembly Language Programming in Linux
Vydáno: (2020)

MATLAB Machine Learning. 1st ed.
Autor: Paluszek, Michael, a další
Vydáno: (2020)

Logics in Artificial Intelligence
Vydáno: (2020)