1611411

9780387951065

Software Reliability Methods

Software Reliability Methods
$102.19
$3.95 Shipping
List Price
$159.00
Discount
35% Off
You Save
$56.81

  • Condition: New
  • Provider: Ergodebooks Contact
  • Provider Rating:
    81%
  • Ships From: Multiple Locations
  • Shipping: Standard
  • Comments: Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. 24*7 Customer Service.

   30-day money back guarantee
$63.69
$3.95 Shipping
List Price
$159.00
Discount
59% Off
You Save
$95.31

  • Condition: Good
  • Provider: Ergodebooks Contact
  • Provider Rating:
    81%
  • Ships From: Multiple Locations
  • Shipping: Standard
  • Comments: Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. 24*7 Customer Service.

   30-day money back guarantee

Ask the provider about this item.

Most renters respond to questions in 48 hours or less.
The response will be emailed to you.
Cancel
  • ISBN-13: 9780387951065
  • ISBN: 0387951067
  • Publication Date: 2001
  • Publisher: Springer Verlag

AUTHOR

Peled, Doron, Clarke, E. M.

SUMMARY

This volume presents a collection of methods for dealing with software reliability. Ideally, formal methods need to be intuitive to use, require a relatively brief learning period, and incur only small overhead to the development process. This book compares these varying methods and reveals their respective advantages and disadvantages, while also staying close to the dual themes of automata theory and logic. Topics and features:* Collects and compares the key software reliability methods currently in use: deductive verification, automatic verification, testing, and process algebra* Provides useful information suitable in the software selection process for a given project* Offers numerous exercises, projects, and running examples to facilitate learning formal methods and allows for ¿hands-on¿ experience with these critical tools* Describes the mathematical principles supporting formal methods* Gives insights into new research directions in the field, as well as ways of developing new methods and/or adjusting existing ones.This volume can be used as an introduction to software methods techniques, a source for learning about various ways to enhance software reliability, and a guide to formal methods techniques. It is an essential resource for professionals and software engineers in R&D departments in industry, using software reliability, program-modeling systems, and verification methods.Peled, Doron is the author of 'Software Reliability Methods', published 2001 under ISBN 9780387951065 and ISBN 0387951067.

[read more]

Questions about purchases?

You can find lots of answers to common customer questions in our FAQs

View a detailed breakdown of our shipping prices

Learn about our return policy

Still need help? Feel free to contact us

View college textbooks by subject
and top textbooks for college

The ValoreBooks Guarantee

The ValoreBooks Guarantee

With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.