Model Checking Quantum Systems Principles and Algorithms |
|
| Author:
| Ying, Mingsheng
Feng, Yuan |
| ISBN: | 978-1-108-75540-5 |
| Publication Date: | Jan 2021 |
| Publisher: | Cambridge University Press
|
| Book Format: | Ebook |
| List Price: | USD $52.00 |
Book Description:
|
The first book introducing computer aided verification techniques for quantum systems with quantum computing and communication hardware.
The first book introducing computer aided verification techniques for quantum systems with quantum computing and communication hardware.