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

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

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

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

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

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

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

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

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

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

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

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

Autonomy Requirements Engineering for Space Missions, Fachbücher von Emil Vassev, Mike Hinchey

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

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