Practical TLA+

Đã lưu trong:

Bibliografiske detaljer
Hovedforfatter:	Wayne, Hillel
Format:	Bog
Sprog:	English
Udgivet:	Apress 2020
Fag:	Computer Science Programming Languages, Compilers, Interpreters Programming Techniques
Online adgang:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/86140
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

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

Lignende værker

Practical C++ Design
af: Singer, Adam B.
Udgivet: (2020)

Practical Aspects of Declarative Languages
Udgivet: (2020)

Practical Aspects of Declarative Languages
af: Hanus, Michael
Udgivet: (2020)

Practical Aspects of Declarative Languages
af: Hudak, Paul, et al.
Udgivet: (2020)

Practical Aspects of Declarative Languages
af: Lierler, Yuliya, et al.
Udgivet: (2020)

Practical Scala DSLs. 1st ed.
af: Riti, Pierluigi
Udgivet: (2020)

Pro Python Best Practices. 1st ed.
af: Rother, Kristian
Udgivet: (2020)

Practical Aspects of Declarative Languages
af: Komendantskaya, Ekaterina, et al.
Udgivet: (2020)

Advances in Smalltalk
af: Meuter, Wolfgang De
Udgivet: (2020)

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

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

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

Network Programming with Go
af: Newmarch, Jan
Udgivet: (2020)

Rules and Reasoning
af: Costantini, Stefania, et al.
Udgivet: (2020)

Test Driven Development in Ruby
af: Paranj, Bala
Udgivet: (2020)

Systems Programming in Unix/Linux
af: Wang, K.C.
Udgivet: (2020)

Machine Learning Using R
af: Ramasubramanian, Karthik, et al.
Udgivet: (2020)

Functional Programming in R
af: Mailund, Thomas
Udgivet: (2020)

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

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

Central European Functional Programming School
Udgivet: (2020)

Beginning Bazel
af: McNerney, P.J.
Udgivet: (2020)

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

Introduction to Programming with Fortran
af: Chivers, Ian, et al.
Udgivet: (2020)

Modeling Decisions for Artificial Intelligence
Udgivet: (2020)

Rules and Reasoning
af: Benzmüller, Christoph, et al.
Udgivet: (2020)

Learn Unity for Android Game Development
af: Sinicki, Adam
Udgivet: (2020)

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

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

Beginning Rust
af: Milanesi, Carlo
Udgivet: (2020)

Exploring Swift Playgrounds. 1st ed.
af: Feiler, Jesse
Udgivet: (2020)

Clean C++
af: Roth, Stephan
Udgivet: (2020)

An Introduction to HTML and JavaScript
af: Brooks, David R.
Udgivet: (2020)

Model Checking and Artificial Intelligence
Udgivet: (2020)

Interpreting LISP. 2nd ed.
af: Knott, Gary D.
Udgivet: (2020)

Beginning Ada Programming
af: Shvets, Andrew T.
Udgivet: (2020)

Logic and Its Applications
Udgivet: (2020)

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

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

Logics in Artificial Intelligence
Udgivet: (2020)