Verified Software. Theories, Tools, and Experiments, Fachbücher von Jorge A. Navas, Supratik Chakraborty

Verified Software. Theories, Tools, and Experiments, Fachbücher

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

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

Verified Software. Theories, Tools, And Experiments 8th International

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

Sanjit A. Seshia (u. A.) | Verified Software: Theories, Tools, And

Daniel Kroening (u. A.) | Verified Software: Theories, Tools And

Thomas Wies (u. A.) | Verified Software. Theories, Tools, And

Andrey Rybalchenko (u. A.) | Verified Software: Theorie, Tools,

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

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 Naijun Zhan, Deepak Kapur, Martin Frä...

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

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