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

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

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

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

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

Verified Software: Theorie, Tools, Experiments 5th International

Dependable Software Engineering: Theories, Tools, And Applications

M. Daehlem (u. A.) | Numerical Methods And Software Tools In

Ali Selamat (u. A.) | Intelligent Software Methodologies, Tools And

Guido Guizzi (u. A.) | Intelligent Software Methodologies, Tools And

Dietmar Winkler (u. A.) | Software Quality: Methods And Tools For

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

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

Bioinformatics Software Tools | Muataz Adnan Harhoosh (u. A.) |

A. Bruaset (u. A.) | Modern Software Tools For Scientific Computing |

Software Development Tools | R. E. Fairley (u. A.) | Taschenbuch |