Tallenna
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.
- Alaotsikko
- An Outcome of the FORTEST Network. Revised Selected Papers
- Toimittaja
- Robert M. Hierons, Jonathan P. Bowen, Mark Harman
- Painos
- 2008 ed.
- ISBN
- 9783540789161
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 8.4.2008
- Sivumäärä
- 370
