Ebook: Model Checking Quantum Systems: Principles and Algorithms
Author: Mingsheng Ying, Yuan Feng
- Year: 2021
- Publisher: Cambridge University Press
- Language: English
- pdf
The first book introducing computer aided verification techniques for quantum systems with quantum computing and communication hardware.
Download the book Model Checking Quantum Systems: Principles and Algorithms for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)