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

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

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

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

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

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

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

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

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

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