Practical TLA+

Đã lưu trong:

书目详细资料
主要作者:	Wayne, Hillel
格式:	图书
语言:	English
出版:	Apress 2020
主题:	Computer Science Programming Languages, Compilers, Interpreters Programming Techniques
在线阅读:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/86140
标签:	添加标签没有标签, 成为第一个标记此记录!

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

相似书籍

Practical C++ Design
由: Singer, Adam B.
出版: (2020)

Practical Aspects of Declarative Languages
出版: (2020)

Practical Aspects of Declarative Languages
由: Hanus, Michael
出版: (2020)

Practical Aspects of Declarative Languages
由: Hudak, Paul, et al.
出版: (2020)

Practical Aspects of Declarative Languages
由: Lierler, Yuliya, et al.
出版: (2020)

Practical Scala DSLs. 1st ed.
由: Riti, Pierluigi
出版: (2020)

Pro Python Best Practices. 1st ed.
由: Rother, Kristian
出版: (2020)

Practical Aspects of Declarative Languages
由: Komendantskaya, Ekaterina, et al.
出版: (2020)

Advances in Smalltalk
由: Meuter, Wolfgang De
出版: (2020)

C# and XML Primer. 1st ed.
由: Hartwell, Jonathan
出版: (2020)

All About Maude - A High-Performance Logical Framework
由: Clavel, Manuel, et al.
出版: (2020)

Languages and Compilers for High Performance Computing
由: Eigenmann, Rudolf, et al.
出版: (2020)

Network Programming with Go
由: Newmarch, Jan
出版: (2020)

Rules and Reasoning
由: Costantini, Stefania, et al.
出版: (2020)

Test Driven Development in Ruby
由: Paranj, Bala
出版: (2020)

Systems Programming in Unix/Linux
由: Wang, K.C.
出版: (2020)

Machine Learning Using R
由: Ramasubramanian, Karthik, et al.
出版: (2020)

Functional Programming in R
由: Mailund, Thomas
出版: (2020)

Languages and Compilers for Parallel Computing
由: Pugh, Bill, et al.
出版: (2020)

Advances in Artificial Intelligence - SBIA 2008
出版: (2020)

Central European Functional Programming School
出版: (2020)

Beginning Bazel
由: McNerney, P.J.
出版: (2020)

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

Introduction to Programming with Fortran
由: Chivers, Ian, et al.
出版: (2020)

Modeling Decisions for Artificial Intelligence
出版: (2020)

Rules and Reasoning
由: Benzmüller, Christoph, et al.
出版: (2020)

Learn Unity for Android Game Development
由: Sinicki, Adam
出版: (2020)

Applications of Declarative Programming and Knowledge Management
出版: (2020)

MICAI 2008: Advances in Artificial Intelligence
出版: (2020)

Beginning Rust
由: Milanesi, Carlo
出版: (2020)

Exploring Swift Playgrounds. 1st ed.
由: Feiler, Jesse
出版: (2020)

Clean C++
由: Roth, Stephan
出版: (2020)

An Introduction to HTML and JavaScript
由: Brooks, David R.
出版: (2020)

Model Checking and Artificial Intelligence
出版: (2020)

Interpreting LISP. 2nd ed.
由: Knott, Gary D.
出版: (2020)

Beginning Ada Programming
由: Shvets, Andrew T.
出版: (2020)

Logic and Its Applications
出版: (2020)

Guide to Assembly Language Programming in Linux
出版: (2020)

MATLAB Machine Learning. 1st ed.
由: Paluszek, Michael, et al.
出版: (2020)

Logics in Artificial Intelligence
出版: (2020)