Abstract State Machines, Fachbücher

Model Checking Abstract State Machines, Fachbücher

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

Model Checking Abstract State Machines 6717

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

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

Distributed Abstract State Machine For Grid Services A Formal Method

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

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

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

Synthesis of Finite State Machines, Fachbücher

Finite State Machine Decomposition for Low Power, Fachbücher

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

Synthesis of Sequential Reversible Circuits through State Machine, Fachbücher von Shubham Gupta