Software Reliability Methods Image close
Software Reliability Methods on Hardback by Doron A. Peled
Software Reliability Methods on Hardback by Doron A. Peled
Show Hide Adult Content
Software Reliability Methods close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Programming  
Software engineering

Software Reliability Methods

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Hardback
$141.99
RRP:
$268.95 save $126.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 $35.50 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 12-24 June using International Courier

Explore more Texts in Computer Science

See all products in this series

Guide to Computer Network Security by Joseph Migga Kizza
$195.99
Guide to Computer Network Security
by Joseph Migga Kizza ~ Paperback / softback
Pre-order - out 12 Apr 2025
Essentials of Cloud Computing by Chellammal Surianarayanan
$160.99
Essentials of Cloud Computing
by Chellammal Surianarayanan ~ Paperback / softback
Pre-order - out 11 Oct 2024
Computability and Complexity Theory on Hardback by Steven Homer
$245.99
Computability and Complexity Theory
by Steven Homer ~ Hardback
Available - Usually ships in 3-4 weeks
Software Reliability Methods by Doron A. Peled Save $130
$137.99
$268.95
Software Reliability Methods
by Doron A. Peled ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Guide to Computer Network Security on Hardback by Joseph Migga Kizza
$265.99
Guide to Computer Network Security
by Joseph Migga Kizza ~ Hardback
Available - Usually ships in 3-4 weeks
Image Processing for Computer Graphics and Vision by Luiz Velho Save $12
$142.99
$155.95
Image Processing for Computer Graphics and Vision
by Luiz Velho ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Guide to Web Development with Java on Hardback by Tim Downey
$195.99
Guide to Web Development with Java
by Tim Downey ~ Hardback
Available - Usually ships in 3-4 weeks
Animated Problem Solving on Hardback by Marco T. Morazan
$207.99
Animated Problem Solving
by Marco T. Morazan ~ Hardback
Available - Usually ships in 3-4 weeks
Descriptive Complexity on Hardback by Neil Immerman
$314.99
Descriptive Complexity
by Neil Immerman ~ Hardback
Available - Usually ships in 3-4 weeks
An Integrated Approach to Software Engineering on Hardback by Pankaj Jalote
$254.99
An Integrated Approach to Software Engineering
by Pankaj Jalote ~ Hardback
Available - Usually ships in 3-4 weeks
Guide to Computer Network Security on Hardback by Joseph Migga Kizza
$152.99
Guide to Computer Network Security
by Joseph Migga Kizza ~ Hardback
Available - Usually ships in 2-3 weeks
Computability and Complexity Theory by Steven Homer
$241.99
Computability and Complexity Theory
by Steven Homer ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Explorations in Quantum Computing on Hardback by Colin P. Williams
$256.99
Explorations in Quantum Computing
by Colin P. Williams ~ Hardback
Available - Usually ships in 3-4 weeks
Java in Two Semesters on Hardback by Quentin Charatan
$195.99
Java in Two Semesters
by Quentin Charatan ~ Hardback
Available - Usually ships in 3-4 weeks
On Concurrent Programming on Hardback by Fred B Schneider
$165.99
On Concurrent Programming
by Fred B Schneider ~ Hardback
Available - Usually ships in 3-4 weeks
Animated Program Design on Hardback by Marco T. Morazan
$136.99
Animated Program Design
by Marco T. Morazan ~ Hardback
Available - Usually ships in 3-4 weeks

Description

The book 'formal methods for software' presents a collection of current methods for dealing with software reliability. It compares between these methods, and shows their advantages and disadvantages. The book presents a description of the techniques, intended for a nonexpert audience with some minimal technical background (e.g., some training in software engineering, or basic computer science courses). It also describes some advanced techniques, aimed at researchers and practitioners in software engineering. This text/reference is intended to be used as an introduction to software methods techniques, a source for learning about various ways to enhanced software reliability, a reference on formal methods technique, and also as a basis for a one semester university course in this subject. It suggests various projects and exercises for achieving "hands-on" experience with the various formal methods tools.
Release date Australia
June 26th, 2001
Audience
  • Undergraduate
Contributor
  • Foreword by E.M. Clarke
Illustrations
XIX, 332 p.
Pages
332
Dimensions
156x234x20
ISBN-13
9780387951065
Product ID
2048727

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 hardware >
Network hardware
Books >
Computers & Internet >
Computer programming / software development
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering