Model Checking Abstract State Machines, Fachbücher

Model Checking Abstract State Machines 6717

Kirsten Winter | Model Checking Abstract State Machines | Taschenbuch

Abstract State Machines, Fachbücher

Abstract State Machines, B and Z, Fachbücher von Michael Butler

Model-checking infinite state systems for information flow security, Fachbücher

Agostino Cortesi | Verification, Model Checking, And Abstract

Model Checking, Fachbücher

Verification, Model Checking, And Abstract Interpretation 5th

Model Checking Software, Fachbücher

Gilles Barthe (u. A.) | Verification, Model Checking, And Abstract...

Deepak D'souza (u. A.) | Verification, Model Checking, And Abstract...

Fritz Henglein (u. A.) | Verification, Model Checking, And Abstract...

Lenore D. Zuck (u. A.) | Verification, Model Checking, And Abstract...

Xavier Rival (u. A.) | Verification, Model Checking, And Abstract

Model Checking and Artificial Intelligence, Fachbücher