Model Checking Quantum Systems: Principles and Algorithms by Mingsheng Ying (Eng
90,76 €
By Mingsheng Ying, Yuan Feng. He is the author of the books Foundations of Quantum Programming (2016) and Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs (2001).
Jetzt bei Ebay: