Model Checking Software
31st International Symposium, SPIN 2025, Hamilton, ON, Canada, May 7–8, 2025, Proceedings
eBook
€48.14 EUR
-
Studienhilfen
Integrierte Lernwerkzeuge wie Hervorhebungen und vieles mehr
-
Vorlesen
Hören Sie zu und lesen Sie mit, während Bookshelf Ihnen vorliest
-
Offline-Zugriff
Greifen Sie jederzeit und überall auf Ihr eTextbook zu
-
Globale Suche
Durchsuche Buchinhalte, Abbildungen und dein Arbeitsbuch.