Deine Suchergebnisse für
Versuchen Sie es mit einer anderen Buchhandlung in Ihrer Nähe.
-
Software Safety and Security
Software Safety and SecurityeBook (PDF)
183,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
Orna Grumberg + weitere
Tools and Algorithms for the Construction and Analysis of SystemsBand 4424Buch (Taschenbuch)
97,99 €
Lieferbar in 3 - 5 Tagen
-
Computer Aided Verification
Orna Grumberg
Computer Aided VerificationBand 1254Buch (Taschenbuch)
49,99 €
Lieferbar in 3 - 5 Tagen
-
Languages: From Formal to Natural
Orna Grumberg, Michael Kaminski, Shmuel Katz + weitere
Languages: From Formal to NaturalBand 5533Buch (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)
80,49 €
Sofort per Download lieferbar
von 6 Treffern werden angezeigt