Formal Methods and Testing

Name: Formal Methods and Testing
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540789161
Price: 50.13 EUR
Availability: InStock

An Outcome of the FORTEST Network. Revised Selected Papers

Autor: Robert M. Hierons, Jonathan P. Bowen, Mark Harman

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

50.13 €

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Te...

Informácie o knihe

Autor

Robert M. Hierons, Jonathan P. Bowen, Mark Harman

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2008

Stránok

370

EAN

9783540789161

ISBN

3540789162

Enbook ID

01570095

Vydavateľ

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnosť

594

Rozmery

235 x 157 x 27

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Formal Methods and Testing

An Outcome of the FORTEST Network. Revised Selected Papers

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež