Spar
Formal Methods and Testing
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network, established under UK EPSRC funding to investigate the relationships between formal (and semi-formal) methods and software testing.
- Undertittel
- An Outcome of the FORTEST Network. Revised Selected Papers
- Redaktør
- Robert M. Hierons, Jonathan P. Bowen, Mark Harman
- Opplag
- 2008 ed.
- ISBN
- 9783540789161
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 8.4.2008
- Antall sider
- 370
