Tallenna
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.
- Alaotsikko
- An Integrated, Hands-On Approach
- Kirjailija
- Janusz Laski, William Stanley
- Painos
- Softcover reprint of hardcover 1st ed. 2009
- ISBN
- 9781849968294
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 13.10.2010
- Kustantaja
- Springer London Ltd
- Sivumäärä
- 234
