Formal Methods and Testing

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

An Outcome of the FORTEST Network. Revised Selected Papers

Szerző: Robert M. Hierons, Jonathan P. Bowen, Mark Harman

Nyelv:

Kötés: Puha kötésű

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

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 327 Ft

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

Információk a könyvről

Szerző

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

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2008

oldal

370

EAN

9783540789161

ISBN

3540789162

Enbook ID

01570095

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

594

Méretek

235 x 157 x 27

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Formal Methods and Testing

An Outcome of the FORTEST Network. Revised Selected Papers

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták