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
- Forfatter
- Janusz Laski, William Stanley
- Opplag
- 2009 ed.
- ISBN
- 9781848822399
- Språk
- Engelsk
- Vekt
- 446 gram
- Utgivelsesdato
- 3.4.2009
- Forlag
- Springer London Ltd
- Antall sider
- 234
