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

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 Shengchao Qin, Jim Woodcock, Wenhui Z...

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

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

Information Computing and Applications, Fachbücher von Yanchun Zhang, Rongbo Zhu, Chunfeng Liu, Baoxiang Liu

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

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

Carbon Emissions in China, Fachbücher von Zhu Liu

Structured Object-oriented Formal Language And Method Shaoying Liu (u.