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

Unifying Theories Of Programming And Formal Engineering Methods

Formal Methods and Hybrid Real-Time Systems, Fachbücher von Cliff B. Jones, Zhiming Liu, Jim Woodcock

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

Dependable Software Engineering: Theories, Tools, and Applications, Fachbücher von Wang Yi, Zhiming Liu, Xuandong Li

Dependable Software Engineering. Theories, Tools, and Applications, Fachbücher von Shengchao Qin, Jim Woodcock, Wenhui Z...

Unifying Theories of Programming, Fachbücher von David Naumann

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

Theories Of Programming And Formal Methods Essays Dedicated To Jifeng

Jim Davies (u. A.) | Formal Methods And Software Engineering |

Formal Methods and Software Engineering, Fachbücher

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

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

Unifying Theories Of Programming David Naumann Taschenbuch Paperback

Unifying Theories Of Programming 6th International Symposium, Utp

Software Engineering and Formal Methods, Fachbücher von Marjan Sirjani, Alessandro Cimatti