Povej prijatelju o tem izdelku:
Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers - Lecture Notes in Computer Science Robert M Hierons 2008 edition
Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers - Lecture Notes in Computer Science
Robert M Hierons
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.
388 pages, 1, black & white illustrations
| Medij | Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom) |
| Izdano | 8. aprila 2008 |
| ISBN13 | 9783540789161 |
| Založniki | Springer-Verlag Berlin and Heidelberg Gm |
| Strani | 370 |
| Dimenzije | 235 × 157 × 27 mm · 566 g |
| Jezik | Francoščina |
| Urednik | Bowen, Jonathan P. |
| Urednik | Harman, Mark |
| Urednik | Hierons, Robert M. |
Božična darila lahko vrnete do 31. januarja