Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers - Lecture Notes in Computer Science - Robert M Hierons - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540789161 - April 8, 2008
In case cover and title do not match, the title is correct

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

Price
Íkr 6,919
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 15 - 23

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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

Media Books     Paperback Book   (Book with soft cover and glued back)
Released April 8, 2008
ISBN13 9783540789161
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 370
Dimensions 235 × 157 × 27 mm   ·   566 g
Language French  
Editor Bowen, Jonathan P.
Editor Harman, Mark
Editor Hierons, Robert M.

Mere med samme udgiver

See all of Robert M Hierons ( e.g. Paperback Book )