Abstract State Machines, Alloy, B, TLA, VDM, and Z, Fachbücher

Abstract State Machines, Alloy, B, TLA, VDM, and Z, Fachbücher von Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, M...

Abstract State Machines, Alloy, B, Tla, Vdm, And Z 6th International

Marc Frappier (u. A.) | Abstract State Machines, Alloy, B And Z |

Klaus-dieter Schewe (u. A.) | Abstract State Machines, Alloy, B, Tla,

Abstract State Machines, B and Z, Fachbücher von Michael Butler, Jonathan P. Bowen, Egon Börger, Paul Boca

Egon Börger (u. A.) | Abstract State Machines, B And Z | Taschenbuch |

Abstract State Machines, Fachbücher von Egon Börger, Robert Stärk

Distributed Abstract State Machine for Grid Services, Fachbücher von Luciano Manelli

Model Checking Abstract State Machines 6717

Kirsten Winter | Model Checking Abstract State Machines | Taschenbuch

Egon Börger (u. A.) | Abstract State Machines 2003: Advances In Theory

Distributed Abstract State Machine For Grid Services A Formal Method

Abstract Right, Reason, and the State, Sachbücher

Abstract of the Report of the Special Committee on Croup of the Illinois State Medical Society, Fachbücher von Henry Z. ...

Model Checking Abstract State Machines, Fachbücher von Kirsten Winter