Don't forget to bookmark this web site !!
Used & Out of Print Books | Contact us | Home

Browse and Compare Price at 40+ Sites and 20,000+ Stores!!

|  FAQ/About us |  Recommend us |  Browse |  Memo |  Book Reviews |  Random Quotes |  Help |

 

Find more info., search and price compare for
Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)
by
Binding: Paperback, 1 edition, 367 pages
Publisher: Springer
List Price: USD $79.95
Weight: 123
Dimension: H: 0.75 x L: 9.29 x W: 0.49 inches
ISBN 10: 3540789162
ISBN 13: 9783540789161
Click here to search for this book and compare price at 40+ bookstores with AddALL.com!

If you cannot find this book in our new and in print search, be sure to try our used and out of print search too!

 

Book Description:
This book constitutes the thoroughly refereed and peer reviewed outcome of the Formal Methods and Testing (FORTEST) network formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi formal) methods and software testing now being a subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST). Each of the 12 chapters in this book describes a way in which the study of formal methods and software testing can be combined in a manner that brings the benefits of formal methods (e.g., precision, clarity, provability) with the advantages of testing (e.g., scalability, generality, applicability).

|  Home |  FAQ/About us |  Link to us |  Recommend us |  Contact us |  Bookstores |  Memo |

Shipping Destination:
State:
(US only)
Display in:
Search by:
Searching for Out of Print Books? [Click Here]

[ For web hosting, AddALL recommend Liquidweb]