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

Engineering Trustworthy Software Systems | Jonathan P. Bowen (u. A.) |

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

Provably Correct Systems | Mike Hinchey (u. A.) | Englisch |

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

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

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

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

Correct Systems: Buildung a Business Process Solution, Fachbücher

Transfusão de Coca-Cola, Fachbücher von Ernest Bowes

Jonathan P. Bowen (u. A.) | Museums And Digital Culture | Buch |

Der aufrechte Gang im windschiefen Kapitalismus, Fachbücher von Hans-Ernst Schiller, Rüdiger Dannemann, Henry W. Pickfor...

Model Checking, Synthesis, and Learning, Fachbücher von Wang Yi, Bernhard Steffen, Ernst-Rüdiger Olderog

Neuromuscular Imaging, Fachbücher von Dirk Fischer, Mike P. Wattjes

High Performance Computing Systems and Applications, Fachbücher von Jonathan Schaeffer