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

Theories Of Programming And Formal Methods Essays Dedicated To Jifeng

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...

Structured Object-Oriented Formal Language and Method, Fachbücher von Shaoying Liu

Integrated Formal Methods, Fachbücher von Jim Davies, Jeremy Gibbons

FMEA Using Uncertainty Theories and MCDM Methods, Fachbücher von Hu-Chen Liu

Applied Methods and Techniques for Mechatronic Systems, Fachbücher von Lei Liu, Quanmin Zhu, Dongya Zhao, Lei Cheng, Yon...

Jim Woodcock (u. A.) | Verified Software: Theories, Tools, Experiments

Structured Object-Oriented Formal Language and Method, Fachbücher von Shaoying Liu, Huaikou Miao, Zhenhua Duan, Cong Tia...

Structured Object-Oriented Formal Language and Method, Fachbücher von Shaoying Liu, Jinyun Xue, Zhenhua Duan, Fumiko Nag...

Formal Methods: Foundations and Applications, Fachbücher von Jim Woodcock, Marcel Vinícius Medeiros Oliveira

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