Deine Suchergebnisse für

Software Safety and Security

Software Safety and Security
eBook (PDF)

192,30 €
Languages: From Formal to Natural
Band 5533

Orna Grumberg, Michael Kaminski, Shmuel Katz + weitere
Languages: From Formal to Natural
Buch (Taschenbuch)

51,99 €
Tools and Algorithms for the Construction and Analysis of Systems
Band 4424

Orna Grumberg + weitere
Tools and Algorithms for the Construction and Analysis of Systems
Buch (Taschenbuch)

99,99 €
Model Checking, second edition

Edmund M. Clarke, Orna Grumberg, Daniel Kroening, Doron Peled + weitere
Model Checking, second edition
eBook (ePUB)

83,80 €
Computer Aided Verification
Band 1254

Orna Grumberg
Computer Aided Verification
Buch (Taschenbuch)

51,99 €
25 Years of Model Checking
Band 5000

Orna Grumberg + weitere
25 Years of Model Checking
Buch (Taschenbuch)

34,99 €

von 6 Treffern werden angezeigt