Skip to product information
1 of 1

MingshengYing

Foundations of Quantum Programming

Foundations of Quantum Programming

💎 Earn 513 Points (£5.13) on this item.

Regular price £102.64 GBP
Regular price £115.00 GBP Sale price £102.64 GBP
Sale Sold out
Taxes included. Shipping calculated at checkout.

YOU SAVE £12.36

  • Condition: Brand new
  • UK Delivery times: Usually arrives within 2 - 3 working days
  • UK Shipping: Fee starts at £2.39. 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 Foundations of Quantum Programming

The book Foundations of Quantum Programming,Second Edition provides a comprehensive introduction to quantum programming,covering foundational concepts,methods,and techniques for various quantum programming models and languages. It also introduces a chain of quantum programming models and presents logical and mathematical tools for verification and analysis.

Format: Paperback / softback
Length: 472 pages
Publication date: 03 May 2024
Publisher: Elsevier Science & Technology


Quantum programming is a rapidly evolving field that has the potential to revolutionize computing as we know it. Foundations of Quantum Programming, Second Edition provides a comprehensive and systematic exposition of this subject, focusing on foundational concepts, methods, and techniques that can be widely used for various quantum programming models and languages. The book explores how programming methodologies developed for current computers can be extended for quantum computers, as well as introducing new programming methodologies that can effectively exploit the unique power of quantum computing.

The book begins by introducing a chain of quantum programming models, ranging from sequential to parallel and distributed programming, in the paradigm of superposition-of-data to the paradigm of superposition-of-programs. This progression allows programmers to understand the different ways in which quantum computers can be used to solve complex problems.

In addition to these programming models, the book also presents a series of logical and mathematical tools for verification and analysis of quantum programs. These tools include invariant generation, termination analysis, and abstract interpretation, which are essential for ensuring the correctness and efficiency of quantum algorithms.

Overall, Foundations of Quantum Programming, Second Edition is a valuable resource for anyone interested in learning about quantum programming and its applications. The book provides a comprehensive and up-to-date introduction to the field, covering both theoretical and practical aspects, and is suitable for researchers, practitioners, and students alike.

Weight: 1256g
Dimension: 212 x 277 x 27 (mm)
ISBN-13: 9780443159428
Edition number: 2 ed

This item can be found in:

UK and International shipping information

UK Delivery and returns information:

  • Delivery within 2 - 3 days when ordering in the UK.
  • Shipping fee for UK customers from £2.39. Fully tracked shipping service available.
  • Returns policy: Return within 30 days of receipt for full refund.

International deliveries:

Shulph Ink now ships to Australia, Belgium, Canada, France, Germany, Ireland, Italy, India, Luxembourg Saudi Arabia, Singapore, Spain, Netherlands, New Zealand, United Arab Emirates, United States of America.

  • Delivery times: within 5 - 10 days for international orders.
  • Shipping fee: charges vary for overseas orders. Only tracked services are available for most international orders. Some countries have untracked shipping options.
  • Customs charges: If ordering to addresses outside the United Kingdom, you may or may not incur additional customs and duties fees during local delivery.
View full details