Skip to product information
1 of 1

MingshengYing,YuanFeng

Model Checking Quantum Systems: Principles and Algorithms

Model Checking Quantum Systems: Principles and Algorithms

💎 Earn 287 Points (£2.87) on this item.

ORDERED FOR YOU

We can order this item for you. Delivery usually takes about 4 to 6 weeks.

This item is not held in our immediate stock. We will order it for you after checkout.

Estimated delivery: About 4 to 6 weeks

Regular price £57.58 GBP
Regular price £61.00 GBP Sale price £57.58 GBP
Sale Sold out
Taxes included. Shipping calculated at checkout.

YOU SAVE £3.42

  • Condition: Brand new
  • UK Delivery times: Usually arrives within 2 - 3 working days
  • UK Shipping: Fee starts at £3.89. Subject to product weight & dimension

Bulk ordering. Want 15 or more copies? Get a personalised quote and bigger discounts. Learn more about bulk orders.

  • More about Model Checking Quantum Systems: Principles and Algorithms

Format: Hardback
Length: 220 pages
Publication date: 04 February 2021
Publisher: Cambridge University Press

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.

Weight: 520g
Dimension: 442 x 250 x 20 (mm)
ISBN-13: 9781108484305

UK and International shipping information

We deliver throughout the United Kingdom and to 128 countries and territories worldwide, including the United States, Australia, Canada, Germany, Spain and France.

View full UK and international delivery information.

View full details