ISBN 9783540789161,Formal Methods and Testing

Formal Methods and Testing

Rs4030 Rs5812 31% OFF

Availability: Out of Stock

(Free Delivery)

We Accept
ISBN 9783540789161
Check delivery information
 
ISBN 9783540789161
Publisher

Ingram Publisher Services

Publication Year 2008
ISBN-13

ISBN 9783540789161

ISBN-10 3540789162
Binding

Paperback

Number of Pages 388 Pages
Subject

Software testing & verification

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.
Scroll