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

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

Unifying Theories Of Programming And Formal Engineering Methods

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

Formal Methods and Software Engineering, Fachbücher

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

Formal Methods for Protocol Engineering and Distributed Systems, Fachbücher

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, Fachbücher von Tiziana M...

Unifying Theories Of Programming 7th International Symposium, Utp

Unifying Theories Of Programming David Naumann Taschenbuch Paperback

Formal Methods and Software Engineering, Fachbücher von Zhenhua Duan, Luke Ong