Gå direkte til innholdet
Software Verification and Analysis
Spar

Software Verification and Analysis

“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.
Undertittel
An Integrated, Hands-On Approach
Opplag
Softcover reprint of hardcover 1st ed. 2009
ISBN
9781849968294
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
13.10.2010
Antall sider
234