株式会社極東書店トップ ＞ 商品一覧 ＞ Leveraging Applications of Formal Methods, Verification and Validation. Scalable Verification and Validation of Concurrent and Distributed Systems: 13th International Symposium, ISoLA 2026, Kos, Greece, October 24-28, 2026, Proceedings, Part V.
商品詳細
Leveraging Applications of Formal Methods, Verification and Validation. Scalable Verification and Validation of Concurrent and Distributed Systems: 13th International Symposium, ISoLA 2026, Kos, Greece, October 24-28, 2026, Proceedings, Part V.
・ISBN 978-3-032-40123-6 paper EUR 39.99
￥10,688.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
| 著者・編者 | Margaria, Tiziana / Steffen, Bernhard (eds.), |
|---|---|
| シリーズ | (Lecture Notes in Computer Science) |
| 出版社 | (Springer Nature Switzerland AG, SZ) |
| 出版年月 | 2026 |
| 言語 | ENG |
| ニュース番号 | ＜A05-93123＞ |
解説
The open access ISoLA 2026 proceedings constitutes contributions of the associated events held at the 13th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2026, which took place in Kos, Greece, in October 2026.
ISoLA 2026 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.
The papers have been organized in topical sections over five volumes as follows:
Part I: Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
Part II: Leveraging Applications of Formal Methods, Verification and Validation. Formal Methods for Distributed Computing in Future Railway Systems
Part III: Leveraging Applications of Formal Methods, Verification and Validation. Bridging Gaps between Software and System Contracts
Part IV: Leveraging Applications of Formal Methods, Verification and Validation. X-by-Construction Meets Intersymbolic AI
Part V: Leveraging Applications of Formal Methods, Verification and Validation. Scalable Verification and Validation of Concurrent and Distributed Systems