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

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

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

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, 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...

Formal Methods and Software Engineering, Fachbücher von Michael Butler, Fatiha Zaïdi, Sylvain Conchon

QCD Radiation in Top-Antitop and Z+Jets Final States, Fachbücher von Kiran Joshi

Cultural Genocide and Asian State Peripheries, Fachbücher von B. Sautman

Numerical Simulation of Turbulent Flows and Noise Generation, Fachbücher von Claus-Dieter Munz, Daniel Juvé, Michael Man...