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

Abstract State Machines, Fachbücher

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

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

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

Model Checking Abstract State Machines, Fachbücher

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

Model Checking Abstract State Machines 6717

Formal Methods and Software Engineering, Fachbücher von Michael Butler

Kirsten Winter | Model Checking Abstract State Machines | Taschenbuch

Finite-State Machine, Fachbücher

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

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

Brains, Machines, and Mathematics, Fachbücher von Michael A. Arbib

Distributed Abstract State Machine For Grid Services A Formal Method

Synthesis of Finite State Machines, Fachbücher