Dependable Software Engineering. Theories, Tools, and Applications, Fachbücher von Zijiang Yang, Markus Müller-Olm, Xiny...

Dependable Software Engineering. Theories, Tools, and Applications, Fachbücher von Lijun Zhang, Jun Pang

Dependable Software Engineering. Theories, Tools, And Applications 4th

Dependable Software Engineering: Theories, Tools, and Applications, Fachbücher von Naijun Zhan, Deepak Kapur, Martin Frä...

Dependable Software Engineering. Theories, Tools, and Applications, Fachbücher von Oleg Sokolsky, Kim Guldstrand Larsen,...

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

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 Jun Sun, Joost-Pieter Katoen, Nan Gua...

Xuandong Li (u. A.) | Dependable Software Engineering: Theories,

Shengchao Qin (u. A.) | Dependable Software Engineering. Theories,

Verification, Model Checking, and Abstract Interpretation, Fachbücher von Neil Jones, Markus Müller-Olm

Computational Optimization and Applications in Engineering and Industry, Fachbücher von XIN-SHE YANG, Slawomir Koziel

Markus Müller-olm (u. A.) | Verification, Model Checking, And

Software Engineering Research, Management and Applications, Fachbücher von Roger Lee

Verified Software. Theories, Tools, and Experiments, Fachbücher von Philipp Rümmer, Ruzica Piskac

Verified Software. Theories, Tools, and Experiments, Fachbücher von Thomas Wies, Andrei Paskevich