Spara
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.
- Undertitel
- An Outcome of the FORTEST Network. Revised Selected Papers
- Redaktör
- Robert M. Hierons, Jonathan P. Bowen, Mark Harman
- Upplaga
- 2008 ed.
- ISBN
- 9783540789161
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2008-04-08
- Sidor
- 370
