Software Verification and Analysis - An Integrated, Hands-On Approach - Janusz Laski
\The situation is good, but not hopeless\ (Polish folk wisdom) The text is devoted to the Software Analysis and Testing (SAT) methods and s- porting tools for assessing and, if possible, improving software quality, specifically its correctness.
Tales.dk
DKK 588.95