作者：
出版社： 机械工业出版社
CIP号：2019134831
书号：978-7-111-63129-3
出版地：北京
出版时间：2019.8
定价：￥79.0
本书由量子计算领域的知名学者应明生教授撰写，重点讲解不同语言和技术所广泛使用的基础概念、方法和数学工具，而非某种特定的量子编程语言或技术。全书从量子力学和量子计算的基础概念开始，详细介绍了多种量子程序结构和一系列量子编程模型。此外，还系统地讨论了量子程序的语义、逻辑和分析与验证技术。本书内容连贯且自成体系，对于学术界和工业界的研究者和开发人员都有很高的参考价值。