Model Checking Quantum Systems
Principles and Algorithms
- Publisher's listprice GBP 58.00
-
27 709 Ft (26 390 Ft + 5% VAT)
The price is estimated because at the time of ordering we do not know what conversion rates will apply to HUF / product currency when the book arrives. In case HUF is weaker, the price increases slightly, in case HUF is stronger, the price goes lower slightly.
- Discount 20% (cc. 5 542 Ft off)
- Discounted price 22 168 Ft (21 112 Ft + 5% VAT)
Subcribe now and take benefit of a favourable price.
Subscribe
27 709 Ft
Availability
Estimated delivery time: In stock at the publisher, but not at Prospero's office. Delivery time approx. 3-5 weeks.
Not in stock at Prospero.
Why don't you give exact delivery time?
Delivery time is estimated on our previous experiences. We give estimations only, because we order from outside Hungary, and the delivery time mainly depends on how quickly the publisher supplies the book. Faster or slower deliveries both happen, but we do our best to supply as quickly as possible.
Product details:
- Publisher Cambridge University Press
- Date of Publication 4 February 2021
- ISBN 9781108484305
- Binding Hardback
- No. of pages220 pages
- Size 250x175x17 mm
- Weight 520 g
- Language English 126
Categories
Short description:
The first book introducing computer aided verification techniques for quantum systems with quantum computing and communication hardware.
MoreLong description:
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.
'This book gives a thorough account of the principles of model checking for quantum systems. It covers the basics of verifying qualitative properties such as reachability as well as quantitative properties on quantum Markov chains. This is the first comprehensive work on this young and exciting research field.' Joost-Pieter Katoen, RWTH Aachen University
Table of Contents:
1. Introduction; 2. Basics of Model Checking; 3. Basics of Quantum Theory; 4. Model Checking; 5. Model Checking Quantum Markov Chains; 6. Model Checking Super-operator-valued Markov Chains; 7. Conclusions and Prospects.
More
The Debian System: Concepts and Techniques
23 863 HUF
21 477 HUF
Questions & Answers Law of Contract 2013-2014: Law Revision and Study Guide
6 205 HUF
5 585 HUF
