Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers - Lecture Notes in Computer Science - Robert M Hierons - Knjige - Springer-Verlag Berlin and Heidelberg Gm - 9783540789161 - 8. aprila 2008
Če se naslovnica in naslov ne ujemata, je naslov pravilen

Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers - Lecture Notes in Computer Science 2008 edition

Cena
€ 50,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 27. nov - 7. dec
Božična darila lahko vrnete do 31. januarja
Prejemajte obvestila o novih izdajah izvajalca Robert M Hierons
Dodaj na svoj seznam želja iMusic

Not rated yet

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.

Več od istega **izdajatelja**