Handbook of Model Checking

Mã QR

Handbook of Model Checking

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer International Publishing 2020
Những chủ đề:	Computer Science Theory of Computation Software Engineering/Programming and Operating Systems
Truy cập trực tuyến:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/88274
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

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

Những quyển sách tương tự

Model Checking Software
Bỡi: Godefroid, Patrick
Được phát hành: (2020)

Model Checking Software
Bỡi: Bosnacki, Dragan, et al.
Được phát hành: (2020)

25 Years of Model Checking
Bỡi: Grumberg, Orna, et al.
Được phát hành: (2020)

Verification, Model Checking, and Abstract Interpretation
Được phát hành: (2020)

Model Checking Software
Được phát hành: (2020)

Conceptual Modeling - ER 2009
Được phát hành: (2020)

New Trends in Model and Data Engineering
Bỡi: Abdelwahed, El Hassan, et al.
Được phát hành: (2020)

Models in Software Engineering
Bỡi: Kühne, Thomas
Được phát hành: (2020)

Model Checking and Artificial Intelligence
Bỡi: Edelkamp, Stefan, et al.
Được phát hành: (2020)

Verification, Model Checking, and Abstract Interpretation
Bỡi: Logozzo, Francesco, et al.
Được phát hành: (2020)

Model Checking Software
Được phát hành: (2020)

Verification, Model Checking, and Abstract Interpretation
Bỡi: Dillig, Isil, et al.
Được phát hành: (2020)

Verification, Model Checking, and Abstract Interpretation
Bỡi: Cook, Byron, et al.
Được phát hành: (2020)

Verification, Model Checking, and Abstract Interpretation
Bỡi: Bouajjani, Ahmed, et al.
Được phát hành: (2020)

Verification, Model Checking, and Abstract Interpretation
Được phát hành: (2020)

Model-Driven Software Development
Bỡi: Beydeda, Sami, et al.
Được phát hành: (2020)

The Common Component Modeling Example
Được phát hành: (2020)

Objects, Components, Models and Patterns
Được phát hành: (2020)

Objects, Components, Models and Patterns
Bỡi: Paige, Richard F., et al.
Được phát hành: (2020)

Model Driven Engineering and Ontology Development
Được phát hành: (2020)

Analytical and Stochastic Modeling Techniques and Applications
Bỡi: Al-Begain, Khalid, et al.
Được phát hành: (2020)

An Approach to Modelling Software Evolution Processes
Bỡi: Li, Tong
Được phát hành: (2020)

Analytical and Stochastic Modeling Techniques and Applications
Được phát hành: (2020)

Information Systems: Modeling, Development, and Integration
Được phát hành: (2020)

Composition of Embedded Systems. Scientific and Industrial Issues
Bỡi: Kordon, Fabrice, et al.
Được phát hành: (2020)

Advances in Computer Science - ASIAN 2004, Higher Level Decision Making
Được phát hành: (2020)

High Performance Computing and Communications
Bỡi: Perrott, Ronald, et al.
Được phát hành: (2020)

Machine Learning for Dynamic Software Analysis: Potentials and Limits
Bỡi: Bennaceur, Amel, et al.
Được phát hành: (2020)

Software Product Line Engineering
Bỡi: Pohl, Klaus, et al.
Được phát hành: (2020)

Object-Oriented Technology. ECOOP 2008 Workshop Reader
Được phát hành: (2020)

Component-Based Software Engineering
Được phát hành: (2020)

Structured Object-Oriented Formal Language and Method
Bỡi: Liu, Shaoying, et al.
Được phát hành: (2020)

Computer Performance Engineering
Được phát hành: (2020)

Leveraging Applications of Formal Methods, Verification and Validation
Được phát hành: (2020)

Formal Foundations of Reuse and Domain Engineering
Được phát hành: (2020)

Genetic Programming Theory and Practice IV
Bỡi: Riolo, Rick, et al.
Được phát hành: (2020)

Domain Modeling and the Duration Calculus
Bỡi: George, Chris, et al.
Được phát hành: (2020)

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy
Bỡi: Alvim, Mário S., et al.
Được phát hành: (2020)

Models in Software Engineering
Được phát hành: (2020)

Model Driven Architecture - Foundations and Applications
Bỡi: Schieferdecker, Ina, et al.
Được phát hành: (2020)