この商品を友人に教える:
Model Checking Software: 32nd International Symposium, SPIN 2026, Turin, Italy, April 15–16, 2026, Proceedings - Lecture Notes in Computer Science
価格
¥ 9.468
税抜
発送予定日 2027年3月4日 - 2027年3月9日
クリスマスプレゼントは1月31日まで返品可能です
iMusicのウィッシュリストに追加
Model Checking Software: 32nd International Symposium, SPIN 2026, Turin, Italy, April 15–16, 2026, Proceedings - Lecture Notes in Computer Science
This book constitutes the refereed proceedings of the 32nd International Symposium on Model Checking Software, SPIN 2026, held in Turin, Italy, during April 15–16, 2026.The 5 full papers, 1 short paper, and 1 tool paper included in this Volume were carefully reviewed and selected from 17 submissions.
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| 発売予定 | 2027年2月24日 |
| ISBN13 | 9783032356376 |
| 出版社 | Springer Nature Switzerland AG |
| ページ数 | 133 |
| 寸法 | 150 × 220 × 10 mm · 270 g (重量（概算）) |
| 編集者 | Ciancia, Vincenzo |
| 編集者 | Hartmanns, Arnd |
![Cover for Deborah Morrison · Brave Work in the Age of Climate Change: A Creative's Guide to Making Compelling Advertising and Brand Messages in Complicated Times (Paperback Book) [2022 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for David Kergel · Qualitative Educational and Bildungs Research (Hardcover Book) [2nd Second 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/171/9783032186171.jpg?david-kergel-2027-qualitative-educational-and-bildungs-research-hardcover-book&class=scaled&v=1778118707)
![Cover for Martin O. Steinhauser · Computational Multiscale Modeling of Fluids and Solids: Theory and Applications in Computational Science - Graduate Texts in Physics (Hardcover Book) [Fourth Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/396/9783032255396.jpg?martin-o-steinhauser-2027-computational-multiscale-modeling-of-fluids-and-solids-theory-and-applications-in-computational-science-graduate-texts-in-physics-hardcover-book&class=scaled&v=1780455123)
