- 出版社：Cambridge University Press
- 出版年月：2021年 02月
- ISBN：9781108484305
- 装丁：HRD
-
装丁について
- 言語：ENG
- 巻数・ページ数：220 p.
- 分類： 量子力学
- DDC分類：006.3843
- 内容紹介：
-
This is the first book introducing computer aided verification techniques for quantum systems, including quantum computing and communication hardware and software.