Model Checking Quantum Systems: Principles and Algorithms 9781108484305, 9781108613323, 2020041998, 2020041999

Model Checking Quantum Systems: Principles and Algorithms 9781108484305, 1108484301

The first book introducing computer aided verification techniques for quantum systems with quantum computing and communi

349 106 12MB Read more

Верификация программ методом model checking

112 87 606KB Read more

Model checking 0262032708, 9780262032704, 9780585385587

Model Checking is bound to be the pre-eminent source for research, teaching, and industrial practice on this important s

380 31 2MB Read more

Model Checking [2 ed.] 0262038838, 9780262038836

323 17 14MB Read more

Model checking 9780262032704, 0-262-03270-8

Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and commu

299 68 3MB Read more

Concise Guide to Software Verification : From Model Checking to Annotation Checking 9783031301674, 9783031301667

This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of s

164 60 39MB Read more

Handbook of Model Checking [1st ed. 2018] 3319105744, 9783319105741

Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transiti

115 110 8MB Read more

Верификация моделей программ: Model Checking 5-94057-054-2

В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и п

302 30 5MB Read more

Quantum Systems in Chemistry and Physics. Basic Problems and Model Systems [Volume 1] 0-7923-5922-4

These two volumes together comprise forty papers coming from the most outstanding contributions to the third European Qu

252 101 1MB Read more

Distributed computing: principles, algorithms, and systems [1 ed.] 0521876346, 9780521876346

Designing distributed computing systems is a complex process requiring a solid understanding of the design problems and

316 53 4MB Read more