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

Unifying Theories of Programming, Fachbücher von David Naumann

Unifying Theories of Programming, Fachbücher von Augusto Sampaio, Pedro Ribeiro

Unifying Theories of Programming, Fachbücher von Abderrahmane Feliachi, Burkhard Wolff, Marie-Claude Gaudel

Theories of Programming and Formal Methods, Fachbücher von Jim Woodcock, Huibiao Zhu, Zhiming Liu

Unifying Theories Of Programming 6th International Symposium, Utp

Unifying Theories Of Programming And Formal Engineering Methods

Unifying Theories Of Programming David Naumann Taschenbuch Paperback

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

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, Zili Zhang, Zhiming Liu

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

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

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