Abstract State Machines, Alloy, B, TLA, VDM, and Z, Fachbücher von Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, M...

Abstract State Machines, Alloy, B, TLA, VDM, and Z, Fachbücher

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

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

Abstract State Machines, B and Z, Fachbücher von Michael Butler, Jonathan P. Bowen, Egon Börger, Paul Boca

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

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

Model and Data Engineering, Fachbücher von Klaus-Dieter Schewe, Neeraj Kumar Singh

Semantics in Data and Knowledge Bases, Fachbücher von Bernhard Thalheim, Klaus-Dieter Schewe

Logic, Computation and Rigorous Methods, Fachbücher von Alexander Raschke, Klaus-Dieter Schewe, Elvinia Riccobene

Abstract State Machines, Fachbücher von Egon Börger, Robert Stärk

Abstract State Machines, Alloy, B, TLA, VDM, and Z, Fachbücher von Klaus-Dieter Schewe, Yamine Ait Ameur

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXX, Fachbücher von Josef Küng, Klaus-Dieter Schewe, Ka...

Global Communication and Collaboration, Fachbücher von Klaus-Dieter Gronwald

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

Abstract of the Report of the Special Committee on Croup of the Illinois State Medical Society, Fachbücher von Henry Z. ...