Formal Approaches to Software Testing Image close
Formal Approaches to Software Testing
Formal Approaches to Software Testing
Show Hide Adult Content
Formal Approaches to Software Testing close

Computers & Internet Books:

Home  
Books  
Computers & Internet

Formal Approaches to Software Testing

4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$135.99
RRP:
$158.95 save $22.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.00 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 13-25 June using International Courier

Explore more Programming and Software Engineering

See all products in this series

Intelligent Tutoring Systems Save $66
$148.99
$215.95
Intelligent Tutoring Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods for Web Services
$173.99
Formal Methods for Web Services
Paperback / softback
Available - Usually ships in 3-4 weeks
Static Analysis Save $35
$141.99
$177.95
Static Analysis
Paperback / softback
Available - Usually ships in 3-4 weeks
Reversible Computation
$175.99
Reversible Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
Fundamentals of Software Engineering
$136.99
Fundamentals of Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Safety, Reliability, and Security Save $62
$140.99
$203.95
Computer Safety, Reliability, and Security
Paperback / softback
Available - Usually ships in 3-4 weeks
Tests and Proofs
$136.99
Tests and Proofs
Paperback / softback
Available - Usually ships in 3-4 weeks
Architecting Dependable Systems V Save $12
$138.99
$151.95
Architecting Dependable Systems V
Paperback / softback
Available - Usually ships in 3-4 weeks
Requirements Engineering: Foundation for Software Quality
$135.99
Requirements Engineering: Foundation for Software Quality
Paperback / softback
Available - Usually ships in 3-4 weeks
Rule-Based Reasoning, Programming, and Applications
$138.99
Rule-Based Reasoning, Programming, and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Techniques for Distributed Objects, Components, and Systems
$136.99
Formal Techniques for Distributed Objects, Components, and Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Quality of Software Architectures
$135.99
$140.95
Quality of Software Architectures
Paperback / softback
Available - Usually ships in 3-4 weeks
Requirements Engineering: Foundation for Software Quality
$139.99
Requirements Engineering: Foundation for Software Quality
Paperback / softback
Available - Usually ships in 3-4 weeks
Requirements Engineering: Foundation for Software Quality
$136.99
Requirements Engineering: Foundation for Software Quality
Paperback / softback
Available - Usually ships in 3-4 weeks
Integrated Formal Methods Save $30
$136.99
$167.95
Integrated Formal Methods
Paperback / softback
Available - Usually ships in 3-4 weeks
Mathematics of Program Construction
$137.99
Mathematics of Program Construction
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Formal Approaches to Software Testing, FATES 2004, held in Linz, Austria in September 2004.The 14 revised full papers presented were carefully selected during two rounds of reviewing and improvement; they are organized in topical sections on symbolic test generation, testing non-functional properties, test development with model checking techniques, and test optimization.
Release date Australia
March 7th, 2005
Audience
  • Professional & Vocational
Contributors
  • Edited by Brian Nielsen
  • Edited by Jens Grabowski
Illustrations
X, 228 p.
Pages
228
Dimensions
156x234x13
ISBN-13
9783540251095
Product ID
2808445

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
Books >
Business & Economics >
Business & Management >
Business Maths & Systems
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation