{"product_id":"foundations-of-quantum-programming-9780443159428","title":"Foundations of Quantum Programming","description":"\u003cp\u003e\u003c\/p\u003e\u003cblockquote\u003eThe 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. \u003c\/blockquote\u003e\u003cp\u003e\u003cstrong\u003eFormat\u003c\/strong\u003e: Paperback \/ softback\u003cbr\u003e\u003cstrong\u003eLength\u003c\/strong\u003e: 472 pages\u003cbr\u003e\u003cstrong\u003ePublication date\u003c\/strong\u003e: 03 May 2024\u003cbr\u003e\u003cstrong\u003ePublisher\u003c\/strong\u003e: Elsevier Science \u0026amp; Technology\u003cbr\u003e\u003c\/p\u003e \u003cp\u003e\u003cbr\u003eQuantum 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.\u003cbr\u003e\u003cbr\u003eThe 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.\u003cbr\u003e\u003cbr\u003eIn 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.\u003cbr\u003e\u003cbr\u003eOverall, 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.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eWeight\u003c\/strong\u003e: 1256g\u003cbr\u003e\u003cstrong\u003eDimension\u003c\/strong\u003e: 212 x 277 x 27 (mm)\u003cbr\u003e\u003cstrong\u003eISBN-13\u003c\/strong\u003e: 9780443159428\u003cbr\u003e \u003cstrong\u003eEdition number\u003c\/strong\u003e: 2 ed\u003c\/p\u003e","brand":"MingshengYing","offers":[{"title":"Paperback \/ softback","offer_id":46016784040186,"sku":"9780443159428","price":102.64,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0522\/4297\/2845\/files\/1715977513816_book.jpg?v=1716130785","url":"https:\/\/shulphink.com\/products\/foundations-of-quantum-programming-9780443159428","provider":"Shulph Ink","version":"1.0","type":"link"}