Model Checking Quantum Systems : Principles and Algorithms
Book Details
Format
Hardback
ISBN-10
1108484301
ISBN-13
9781108484305
Publisher
Cambridge University Press
Imprint
Cambridge University Press
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Feb 4th, 2021
Print length
220 Pages
Weight
520 grams
Dimensions
44.20 x 25.00 x 2.00 cms
KSh 11,000.00
Currently unavailable
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
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.
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.
Get Model Checking Quantum Systems by Mingsheng Ying, Yuan Feng at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Cambridge University Press and it has 220 pages.
Customers Who Bought This Also Bought
Nexus
KSh 2,350.00
Black Swan
KSh 2,700.00
Nexus
KSh 5,050.00
White Noise Analysis and Quantum Information
KSh 15,500.00
Elements of Information Theory
KSh 18,550.00
The Literary Guide to the Bible (Paper) (COBE)
KSh 6,300.00
A Mind at Play
KSh 3,600.00
Cryptographic Engineering
KSh 39,600.00
Responding to Crises in the Modern Infrastructure
KSh 8,100.00
Theory of Information (V1)
KSh 39,600.00
Technological Innovation for Life Improvement
KSh 16,200.00
Information Processing and Management of Uncertainty in Knowledge-Based Systems
KSh 19,800.00
More by Mingsheng Ying, Yuan Feng
The Transition of the Patent System
KSh 8,150.00
Introduction to Linear Elasticity
KSh 13,500.00
Foundations of Quantum Programming
KSh 20,700.00
China and Multilateralism
KSh 8,600.00
Foundations of Quantum Programming
KSh 14,950.00
Introduction to Linear Elasticity
KSh 19,800.00
The Transition of the Patent System
KSh 33,000.00
Antennas and Wireless Power Transfer Methods for Biomedical Applications
KSh 15,200.00
China and Multilateralism
KSh 26,300.00
