Formal Methods and Testing

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

An Outcome of the FORTEST Network. Revised Selected Papers

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

Język:

Oprawa: Miękka

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

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

212.24 zł

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

Informacje o książce

Autor

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

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2008

strony

370

EAN

9783540789161

ISBN

3540789162

Enbook ID

01570095

Wydawca

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga

594

Wymiary

235 x 157 x 27

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Formal Methods and Testing

An Outcome of the FORTEST Network. Revised Selected Papers

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również