株式会社極東書店トップ ＞ 商品一覧 ＞ Computer Aided Verification: 38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part II.
商品詳細
Computer Aided Verification: 38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part II.
・ISBN 978-3-032-32525-9 paper EUR 39.99
￥10,688.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
| 著者・編者 | Darulova, Eva / Lin, Anthony W. / Ruemmer, Philipp (eds.), |
|---|---|
| シリーズ | (Lecture Notes in Computer Science) |
| 出版社 | (Springer Nature Switzerland AG, SZ) |
| 出版年月 | 2026 |
| ページ数 | 621 pp. |
| 言語 | ENG |
| ニュース番号 | ＜A05-79132＞ |
解説
This open access 3-volume set constitutes the proceedings of the 38th International Conference, CAV 2026, held in Lisbon, Portugal, in July 2026.
The 54 full papers, together with 21 short tool papers,and 6 industrial experience reports and case studies, were carefully reviewed and selected from 319 submissions.
These papers apply or extend formal methods to a wide range of domains such as concurrency, machine learning and neural networks, quantum systems,as well as hybrid and stochastic systems.
This annual conference is dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. This year, CAV was held as part of the Federated Logic Conference (FLoC).