Model Checking Quantum Systems: Principles and Algorithms | Agenda Bookshop Skip to content
Online orders placed from 19/12 onward will not arrive in time for Christmas.
Online orders placed from 19/12 onward will not arrive in time for Christmas.
A01=Mingsheng Ying
A01=Yuan Feng
Age Group_Uncategorized
Age Group_Uncategorized
Author_Mingsheng Ying
Author_Yuan Feng
automatic-update
Category1=Non-Fiction
Category=GPF
Category=PHQ
Category=UYA
Category=UYF
COP=United Kingdom
Delivery_Delivery within 10-20 working days
Language_English
PA=In stock
Price_€50 to €100
PS=Active
softlaunch

Model Checking Quantum Systems: Principles and Algorithms

★★★★★
★★★★★

English

By (author): Mingsheng Ying Yuan Feng

Model checking is one of the most successful verification techniques and has been widely adopted in traditional computing and communication hardware and software industries. This book provides the first systematic introduction to model checking techniques applicable to quantum systems, with broad potential applications in the emerging industry of quantum computing and quantum communication as well as quantum physics. Suitable for use as a course textbook and for self-study, graduate and senior undergraduate students will appreciate the step-by-step explanations and the exercises included. Researchers and engineers in the related fields can further develop these techniques in their own work, with the final chapter outlining potential future applications. See more
€62.09
€68.99
Save 10%
A01=Mingsheng YingA01=Yuan FengAge Group_UncategorizedAuthor_Mingsheng YingAuthor_Yuan Fengautomatic-updateCategory1=Non-FictionCategory=GPFCategory=PHQCategory=UYACategory=UYFCOP=United KingdomDelivery_Delivery within 10-20 working daysLanguage_EnglishPA=In stockPrice_€50 to €100PS=Activesoftlaunch
Delivery/Collection within 10-20 working days
Product Details
  • Weight: 520g
  • Dimensions: 175 x 250mm
  • Publication Date: 04 Feb 2021
  • Publisher: Cambridge University Press
  • Publication City/Country: United Kingdom
  • Language: English
  • ISBN13: 9781108484305

About Mingsheng YingYuan Feng

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. Yuan Feng is Professor in the Centre for Quantum Software and Information University of Technology Sydney. His research interests include formal verification of quantum systems the theory of quantum programming quantum information and computation and probabilistic systems. He has published more than 70 research papers in international leading journals and mainstream conferences. He was awarded an ARC (Australian Research Council) Future Fellowship in 2010.

Customer Reviews

Be the first to write a review
0%
(0)
0%
(0)
0%
(0)
0%
(0)
0%
(0)
We use cookies to ensure that we give you the best experience on our website. If you continue we'll assume that you are understand this. Learn more
Accept