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

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

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

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

Formal Methods: State of the Art and New Directions, Fachbücher von Jonathan P. Bowen, Paul Boca, Jawed Siddiqi

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

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

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

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

Java and the Java Virtual Machine, Fachbücher von Joachim Schmid, Egon Börger, Robert F. Stärk

Distributed Abstract State Machine for Grid Services, Fachbücher von Luciano Manelli

Electronic Visualisation in Arts and Culture, Fachbücher von Suzanne Keene, Jonathan P. Bowen, Kia Ng

Formal Methods and Testing, Fachbücher von Jonathan P. Bowen, Mark Harman, Robert M. Hierons

Unifying Theories of Programming, Fachbücher von Jonathan P. Bowen, Huibiao Zhu

Provably Correct Systems, Fachbücher von Jonathan P. Bowen, Ernst-Rüdiger Olderog, Mike Hinchey

Engineering Trustworthy Software Systems, Fachbücher von Jonathan P. Bowen, Zhiming Liu, Zili Zhang