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

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

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

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

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

Kirsten Winter | Model Checking Abstract State Machines | Taschenbuch

Egon Börger | Computation Theory And Logic | Taschenbuch | Englisch

Model Checking Abstract State Machines 6717

Distributed Abstract State Machine For Grid Services A Formal Method

Design And Implementation Of A State Machine Framework A State Machine

Frederic P. Miller (u. A.) | Finite-state Machine | Taschenbuch |

Egon Börger | Berechenbarkeit, Komplexität, Logik | Taschenbuch |

A. B. Atkinson (u. A.) | Incomes And The Welfare State | Taschenbuch |

Berechenbarkeit Komplexität Logik Egon Börger Taschenbuch Paperback Xx

A. Ça¿r¿ Arl¿ (u. A.) | State Machines Using Vhdl | Taschenbuch |

K. Stromberg (u. A.) | Real And Abstract Analysis | Taschenbuch |