Model Checking Quantum Systems: Principles and Algorithms - Ying, Mingsheng (University of Technology, Sydney) - Books - Cambridge University Press - 9781108484305 - February 4, 2021
In case cover and title do not match, the title is correct

Ying, Mingsheng (University of Technology, Sydney)
Model Checking Quantum Systems: Principles and Algorithms

Price
HK$ 754
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 15 - 21

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

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.

240 pages, Worked examples or Exercises

Media Books     Hardcover Book   (Book with hard spine and cover)
Released February 4, 2021
ISBN13 9781108484305
Publishers Cambridge University Press
Pages 220
Dimensions 250 × 442 × 20 mm   ·   520 g
Language English  

Mere med samme udgiver

See all of Ying, Mingsheng (University of Technology, Sydney) ( e.g. Hardcover Book )