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
NZ$ 165.50
excl. VAT

Ordered from remote warehouse

Expected delivery Aug 7 - 19
Get notified about new Ying, Mingsheng (University of Technology, Sydney) releases

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  

More from the same publisher

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