Foundations of Quantum Programming
Language: English
Published by Morgan Kaufmann Pub, 2024
- Softcover
- New
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
AbeBooks seller since January 6, 2003
Condition: New
US$ 154.95
Quantity: 2 available
Add to basketItem description from seller
2nd edition. 472 pages. 8.50x1.07x10.87 inches. In Stock. This item is printed on demand.
Seller Inventory # __0443159424
- Title
- Foundations of Quantum Programming
- Author
- Ying, Mingsheng
- Publisher
- Morgan Kaufmann Pub
- Publication year
- 2024
- Condition
- Brand New
- Binding
- Paperback
- Language
- English
- ISBN 10
- 0443159424
- ISBN 13
- 9780443159428
- Edition
- 2nd Edition
- Item weight
- 1.09 kilograms
Foundations of Quantum Programming, Second Edition provides a systematic exposition of the subject of quantum programming. Emphasis is placed on foundational concepts, methods, and techniques that can be widely used for various quantum programming models and languages. The book describes how programming methodologies developed for current computers can be extended for quantum computers, along with new programming methodologies that can effectively exploit the unique power of quantum computing. In addition, this resource introduces a chain of quantum programming models from sequential to parallel and distributed programming in the paradigm of superposition-of-data to the paradigm of superposition-of-programs.
Final content presents a series of logical and mathematical tools for verification and analysis of quantum programs, including invariant generation, termination analysis, and abstract interpretation.
- Demystifies the theory of quantum programming using a step-by-step approach
- Includes methodologies, techniques, and tools for the development, analysis, and verification of quantum programs and quantum cryptographic protocols
- Covers the interdisciplinary nature of quantum programming by providing preliminaries from quantum mechanics, mathematics, and computer science, and pointing out its potential applications to quantum engineering and physics
- Presents a coherent and self-contained treatment that will be valuable for academic and industrial researchers and developers
- Adds new developments such as parallel and distributed quantum programming; and introduces several new program analysis techniques such as invariants generation and abstract interpretation
"Synopsis" may belong to another edition of this title.
About the Author
He has published three books and served on the editorial board of several publications, including Artificial Intelligence Journal (Elsevier). He is inaugural Editor-in-Chief of ACM Transactions on Quantum Computing.
He received an NSF China Distinguished Young Scholar Award (1997) and a China National Science Award in Natural Science (2008).
"About the title" may belong to another edition of this title.
Revaluation Books
Exeter, United Kingdom
AbeBooks seller since January 6, 2003
Shipping rates from United Kingdom to U.S.A.
| Item | 7 to 14 business days | 2 to 3 business days |
|---|---|---|
| First item | US$ 20.03 | US$ 33.39 |
Payment methods
Seller's business information
Edward Bowditch Ltd
Exstowe, Exton
Exeter, United Kingdom EX3 0PP
Terms of sale
Legal entity name: Edward Bowditch Ltd
Legal entity form: Limited company
Business correspondence address: Exstowe, Exton, Exeter, EX3 0PP
Company registration number: 04916632
VAT registration: GB834241546
Authorised representative: Mr. E. Bowditch
Shipping terms
Orders usually dispatched within two working days. Please note that at this time all domestic United Kingdom orders are sent by trackable UPS courier, we choose not to offer a lower cost alternative.