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

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

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

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

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

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

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

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

Verified Software: Theories, Tools, Experiments, Fachbücher von Jim Woodcock, Natarajan Shankar

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

Verified Software: Theories, Tools, and Experiments, Fachbücher von Arie Gurfinkel, Sanjit A. Seshia

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

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