Bookshelf
study guides books reading lists e-books
home sign in my orders my e-books my trolley my account contact

| browse books |
books
 

books

| book details |

Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers

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

| on special |

normal price: R 2 154.95

Price: R 1 938.95

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

| product details |



Normally shipped | Available from overseas. Usually dispatched in 14 days
Publisher | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Published date | 8 Apr 2008
Language |
Format | Paperback / softback
Pages | 370
Dimensions | 235 x 155 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-3-5407-8916-1
Readership Age |
BISAC |

| other options |

| back |
| your trolley |
To view the items in your trolley please sign in.
| sign in |

| specials |

Broken Country: AMAZON'S BOOK OF THE YEAR - THE MILLION-COPY BESTSELLER

Clare Leslie Hall
Paperback / softback
320 pages


Enquiries only
An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?

Dungeon Crawler Carl

Matt Dinniman
Paperback / softback
480 pages
was: R 522.95
now: R 459.95
Available from overseas. Usually dispatched in 14 days

The Correspondent

Virginia Evans
Hardback
288 pages
was: R 450.95
now: R 405.95
Available from overseas. Usually dispatched in 3 to 6 weeks

Remarkably Bright Creatures

Shelby Van Pelt
Paperback / softback
384 pages
was: R 522.95
now: R 469.95
Available from overseas. Usually dispatched in 14 days
Copyright 2026 |  terms and conditions