This is our Worldwide store.

Looks like you're in United States. You need a Worldwide address to shop on our Worldwide store. Go to our United States store to continue.

Choose another store Go to United States Store Go to United States Store Choose another store

Model Checking Software - 31st International Symposium, SPIN 2025, Hamilton, ON, Canada, May 7–8, 2025, Proceedings eBook by

Model Checking Software

31st International Symposium, SPIN 2025, Hamilton, ON, Canada, May 7–8, 2025, Proceedings

Gidon Ernst,Kristin Yvonne Rozier

Springer Nature Proceedings Computer Science

Synopsis

Categories

About this book

Language:English
ISBN:9783032068477
Release date:Oct 31, 2025
Publisher:Springer Nature Switzerland

Imprint:Springer
File format:EPUB3
File size:15.17 MB
Download options:EPUB3 (Adobe DRM)