Formal Methods and Testing Image close
Formal Methods and Testing
Formal Methods and Testing
Show Hide Adult Content
Formal Methods and Testing close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Programming  
Software engineering

Formal Methods and Testing

An Outcome of the FORTEST Network. Revised Selected Papers
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$138.99
RRP:
$169.95 save $30.96
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $34.75 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 25 Jun - 5 Jul using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Practical Aspects of Declarative Languages
$118.99
Practical Aspects of Declarative Languages
Paperback / softback
Available - Usually ships in 3-4 weeks
Model Checking Software Save $22
$135.99
$158.95
Model Checking Software
Paperback / softback
Available - Usually ships in 3-4 weeks
Emerging Management Mechanisms for the Future Internet
$134.99
$135.95
Emerging Management Mechanisms for the Future Internet
Paperback / softback
Available - Usually ships in 3-4 weeks
Automata, Languages and Programming Save $20
$272.99
$293.95
Automata, Languages and Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
Membrane Computing Save $14
$138.99
$153.95
Membrane Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Software Engineering
$118.99
Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Paragon by Mark S. Sherman Save $44
$135.99
$180.95
Paragon
by Mark S. Sherman ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Scalable Uncertainty Management Save $27
$135.99
$163.95
Scalable Uncertainty Management
Paperback / softback
Available - Usually ships in 3-4 weeks
TAPSOFT '93: Theory and Practice of Software Development Save $19
$273.99
$293.95
TAPSOFT '93: Theory and Practice of Software Development
Paperback / softback
Available - Usually ships in 3-4 weeks
Model Checking and Artificial Intelligence
$134.99
$135.95
Model Checking and Artificial Intelligence
Paperback / softback
Available - Usually ships in 3-4 weeks
Graph Transformation
$137.99
$139.99
Graph Transformation
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Modeling and Analysis of Timed Systems
$134.99
Formal Modeling and Analysis of Timed Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Multi-Agent-Based Simulation XII
$167.99
Multi-Agent-Based Simulation XII
Paperback / softback
Available - Usually ships in 3-4 weeks
STACS 2000
$272.99
STACS 2000
Paperback / softback
Available - Usually ships in 3-4 weeks
Tools and Algorithms for the Construction and Analysis of Systems
$268.99
$270.95
Tools and Algorithms for the Construction and Analysis of Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Experimental Software Engineering Issues: Save $13
$144.99
$158.95
Experimental Software Engineering Issues:
Paperback / softback
Available - Usually ships in 3-4 weeks

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).
Release date Australia
April 8th, 2008
Audience
  • Professional & Vocational
Contributors
  • Edited by Jonathan P Bowen
  • Edited by Mark Harman
  • Edited by Robert M. Hierons
Illustrations
XIII, 370 p.
Pages
370
Dimensions
156x234x20
ISBN-13
9783540789161
Product ID
2496332

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering >
Software testing & verification