Deine Suchergebnisse für
Versuchen Sie es mit einer anderen Buchhandlung in Ihrer Nähe.
-
Software Safety and Security
Software Safety and SecurityeBook (PDF)
184,99 €
Sofort per Download lieferbar
-
Languages: From Formal to Natural
Band 5533Orna Grumberg, Michael Kaminski, Shmuel Katz + weitere
Languages: From Formal to NaturalBuch (Taschenbuch)
49,99 €
Lieferbar in 3 - 5 Tagen
-
Computer Aided Verification
Band 1254Orna Grumberg
Computer Aided VerificationBuch (Taschenbuch)
49,99 €
Lieferbar in 3 - 5 Tagen
-
Model Checking, second edition
Edmund M. Clarke, Orna Grumberg, Daniel Kroening, Doron Peled + weitere
Model Checking, second editioneBook (ePUB 3)
79,99 €
Sofort per Download lieferbar
-
25 Years of Model Checking
Orna Grumberg + weitere
25 Years of Model CheckingBuch (Taschenbuch)
34,99 €
Lieferbar in 3 - 5 Tagen
-
Tools and Algorithms for the Construction and Analysis of Systems
Band 4424Orna Grumberg + weitere
Tools and Algorithms for the Construction and Analysis of SystemsBuch (Taschenbuch)
97,99 €
Lieferbar in 3 - 5 Tagen
von 6 Treffern werden angezeigt