- 出版社：Morgan Kaufmann Publishers in
- 出版年月：2024年 05月
- ISBN：9780443159428
- 装丁：PAP
-
装丁について
- 言語：ENG
- 版次：2ND
- 巻数・ページ数：472 p.
- 分類： プログラミング & OS
- DDC分類：006.3843
- 内容紹介：
-
The Second Edition adds new developments such as parallel and distributed quantum programming; and introduces several new program analysis techniques such as invariants generation and abstract interpretation.