Titel
Principles of Verification: Cycling the Probabilistic Landscape
Untertitel
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
Editor
EAN
9783031757785
Format
E-Book (pdf)
Hersteller
Genre
Veröffentlichung
17.11.2024
Digitaler Kopierschutz
Wasserzeichen
Dateigrösse
31.89 MB
Anzahl Seiten
503
Unerwartete Verzögerung
Ups, ein Fehler ist aufgetreten. Bitte versuchen Sie es später noch einmal.