Hardback
Add to list Added to list Model Checking Quantum Systems: Principles and Algorithms
Mingsheng Ying (University of Technology, Sydney),Yuan Feng (University of Technology, Sydney)
This is the first book introducing computer aided verification techniques for quantum systems, including quantum computing and communication hardware and software. Graduates and senior undergraduates will appreciate the examples and…
Available to order, ships in approx 2 weeksAvailable to order
