Practical TLA+

QR Code (код быстрого отклика)

Practical TLA+

Сохранить в:

Библиографические подробности
Главный автор:	Wayne, Hillel
Формат:	‌
Язык:	English
Опубликовано:	Apress 2020
Предметы:	Computer Science Programming Languages, Compilers, Interpreters Programming Techniques
Online-ссылка:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/86140
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

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)