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

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

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

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

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

Martina Borger (u. A.) | Katzenzungen | Taschenbuch | Deutsch (2003) |

Kirsten Winter | Model Checking Abstract State Machines | Taschenbuch

Extended Abstracts Spring 2019 Advances In The Anthropological Theory

J. Suykens | Advances In Learning Theory | Buch | Englisch (2003) |

Marian Bubak (u. A.) | Recent Advances In Parallel Virtual Machine

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

Soubbaramayer (u. A.) | Advances In Kinetic Theory And Continuum

C. D. Aliprantis (u. A.) | Advances In Equilibrium Theory |

Claudio Bonivento (u. A.) | Advances In Control Theory And