Mingsheng Ying (Sydney University of Technology), Yuan Feng (Sydney University of Technology)

Gebundenes Buch

Model Checking Quantum Systems

Beschreibung

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 exercises included, while researchers and engineers in the related fields can use the techniques in their own work.

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.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 222
• Erscheinungstermin: 4. Februar 2021
• Englisch
• Abmessung: 250mm x 175mm x 17mm
• Gewicht: 520g
• ISBN-13: 9781108484305
• ISBN-10: 1108484301
• Artikelnr.: 60020593