Tell your friends about this item:
Leveraging Applications of Formal Methods, Verification and Validation. Formal Methods for Distributed Computing in Future Railway Systems: 13th International Symposium, ISoLA 2026, Kos, Greece, October 24–28, 2026, Proceedings, Part II - Lecture Notes in
Do you have a profile? Log in
Christmas presents can be returned until 31 January
Our customers say:
Add to your iMusic wish list
Leveraging Applications of Formal Methods, Verification and Validation. Formal Methods for Distributed Computing in Future Railway Systems: 13th International Symposium, ISoLA 2026, Kos, Greece, October 24–28, 2026, Proceedings, Part II - Lecture Notes in
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | October 16, 2026 |
| ISBN13 | 9783032401106 |
| Publishers | Springer Nature Switzerland AG |
| Pages | 229 |
| Dimensions | 150 × 220 × 10 mm · 344 g |
| Editor | Margaria, Tiziana |
| Editor | Steffen, Bernhard |
![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)
