Model Checking Quantum Systems
| Author | : Mingsheng Ying |
| Publisher | : Cambridge University Press |
| Total Pages | : 223 |
| Release | : 2021-02-04 |
| ISBN-10 | : 9781108484305 |
| ISBN-13 | : 1108484301 |
| Rating | : 4/5 (301 Downloads) |
Book Synopsis Model Checking Quantum Systems by : Mingsheng Ying
Download or read book Model Checking Quantum Systems written by Mingsheng Ying and published by Cambridge University Press. This book was released on 2021-02-04 with total page 223 pages. Available in PDF, EPUB and Kindle. Book excerpt: The first book introducing computer aided verification techniques for quantum systems with quantum computing and communication hardware.
