Skip to main content

CURRENTLY SOLD OUT

Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers by Robert M. Hierons, Jonathan P. Bowen, Mark Harman (Paperback, 2008)

About this product

About this product

Product Information

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

Product Identifiers

Publisher
Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
ISBN-13
9783540789161
eBay Product ID (ePID)
103873748

Product Key Features

Author
Robert M. Hierons, Jonathan P. Bowen, Mark Harman
Publication Name
Formal Methods and Testing: an Outcome of the Fortest Network. Revised Selected Papers
Format
Paperback
Language
English
Subject
Technology, Computer Science
Publication Year
2008
Type
Textbook
Number of Pages
370 Pages

Dimensions

Item Height
235mm
Item Width
155mm
Volume
4949
Item Weight
593g

Additional Product Features

Series Title
Programming and Software Engineering
Editor
Robert M. Hierons, Mark Harman, Jonathan P. Bowen
Country/Region of Manufacture
Germany

Best Selling in School Textbooks & Study Guides

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in School Textbooks & Study Guides

Tracks, Scats and Other Traces: Reissue by Barbara Triggs (Paperback, 2004)
4.9 out of 5 stars based on 7 product ratings
AU $54.89 New
AU $50.00 Used
Self-Made Man: My Year Disguised as a Man by Norah Vincent (Paperback, 2006)
No ratings or reviews yet.
AU $25.64 New
---- Used
Chaos by James Gleick (Paperback, 1997)
5.0 out of 5 stars based on 1 product rating
AU $31.35 New
AU $13.90 Used
Charles Hanon: The Virtuoso Pianist In Sixty Exercises For The Piano (Book I) by Hal Leonard Corporation (Paperback, 1986)
3.8 out of 5 stars based on 6 product ratings
AU $20.14 New
---- Used

Save on School Textbooks & Study Guides

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on School Textbooks & Study Guides

Viktor Schauberger The Water Wizard (Paperback)
AU $58.71
Trending at AU $66.32
Secret Teachings of All Ages: An Encyclopedic Outline of Masonic, Hermetic, Qabb
AU $48.16
Trending at AU $53.59
Super Gut: a Four-Week Plan to Reprogram Your Microbiome, Restore Health and Los
AU $30.05
Trending at AU $31.15
The Meateater Fish and Game Cookbook: Recipes and Techniques for Every Hunter an
AU $56.99
Trending at AU $58.93
Excel-Erated Learning Explaining in Plain English How Dogs Learn by Reid Pamela
AU $39.52
Trending at AU $41.98
Mythos: The Greek Myths Retold
AU $19.54
Trending at AU $21.72

You may also like

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- You may also like