menu
{ "item_title" : "Foundations of Quantum Programming", "item_author" : [" Mingsheng Ying "], "item_description" : "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.", "item_img_path" : "https://covers1.booksamillion.com/covers/bam/0/44/315/942/0443159424_b.jpg", "price_data" : { "retail_price" : "150.00", "online_price" : "150.00", "our_price" : "150.00", "club_price" : "150.00", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }
Foundations of Quantum Programming|Mingsheng Ying

Foundations of Quantum Programming

local_shippingShip to Me
In Stock.
FREE Shipping for Club Members help

Overview

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.

This item is Non-Returnable

Details

  • ISBN-13: 9780443159428
  • ISBN-10: 0443159424
  • Publisher: Morgan Kaufmann Publishers
  • Publish Date: May 2024
  • Dimensions: 11 x 8.5 x 0.95 inches
  • Shipping Weight: 2.4 pounds
  • Page Count: 472

Related Categories

You May Also Like...

    1

BAM Customer Reviews