Model Checking Quantum Systems: Principles and Algorithms - Hardcover

Ying, Mingsheng; Feng, Yuan

 
9781108484305: Model Checking Quantum Systems: Principles and Algorithms
Hardcover
ISBN 10: 1108484301 ISBN 13: 9781108484305
Verlag: Cambridge University Press, 2021

Inhaltsangabe

The first book introducing computer aided verification techniques for quantum systems with quantum computing and communication hardware.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

Mingsheng Ying is Distinguished Professor in the Centre for Quantum Software and Information, University of Technology Sydney; Deputy Director for Research of the Institute of Software, Chinese Academy of Sciences; and Cheung Kong Chair Professor in the Department of Computer Science and Technology, Tsinghua University. His research interests are quantum computing, programming theory, and logics in artificial intelligence. 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). Currently, he serves as (Co-)Editor-in-Chief of ACM Transactions on Quantum Computing.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Cambridge University Press
Erscheinungsdatum
2021
Sprache
Englisch
ISBN 10 
1108484301
ISBN 13 
9781108484305
Einband
Gebundene Ausgabe
Auflage
1
Anzahl der Seiten
222
Kontakt zum Hersteller
Cambridge University Press
https://www.cambridge.org/

Via Honduras,15
Pomezia
Italia
71
Italien