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

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

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

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

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

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

Kirsten Winter | Model Checking Abstract State Machines | Taschenbuch

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

M. Z. Kolovsky (u. A.) | Advanced Theory Of Mechanisms And Machines |

Peng Wang (u. A.) | Machine Learning Approaches For Disease State

Lambert M. Surhone (u. A.) | United States Naval Computing Machine

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

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

Lambert M. Surhone (u. A.) | Wolfram's 2-state 3-symbol Turing Machine