Software Reliability Methods (Texts in Computer Science)

4 avg rating
( 6 ratings by Goodreads )
 
9780387951065: Software Reliability Methods (Texts in Computer Science)

This book presents current methods for dealing with software reliability, illustrating the advantages and disadvantages of each method. The description of the techniques is intended for a non-expert audience with some minimal technical background. It also describes some advanced techniques, aimed at researchers and practitioners in software engineering. This reference will serve as an introduction to formal methods and techniques and will be a source for learning about various ways to enhance software reliability. Various projects and exercises give readers hands-on experience with the various formal methods and tools.

"synopsis" may belong to another edition of this title.

Review:

From the reviews:

"The book covers a wide range of formal methods and how to use them to specify, verify and test software systems. ... the book will provide a good, gentle introduction to the field with many pointers to more in-depth material. ... I strongly recommend this book for anyone interested in using formal methods to develop reliable software. The book presents a very good introduction to the field and ... covers the state-of-the-art in software reliability methods." (Michael Leuschel, Software Testing, Verification and Reliability, Vol. 2 (2), November, 2001)

"About this title" may belong to another edition of this title.

Buy New View Book
List Price: US$ 159.00
US$ 45.35

Convert Currency

Shipping: US$ 4.12
From India to U.S.A.

Destination, Rates & Speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

Peled A.D.
ISBN 10: 0387951067 ISBN 13: 9780387951065
New Hardcover Quantity Available: 5
Seller:
bookscollection
(Delhi, DELHI, India)
Rating
[?]

Book Description Book Condition: Brand New. HARDCOVER, Book Condition New, U.S. EDITION. We Do not Ship APO FPO AND PO BOX. . Printing in English language.NO CD AND ACCESS CODE. Quick delivery by USPS/UPS/DHL/FEDEX/ARAMEX ,Customer satisfaction guaranteed. We may ship the books from Asian regions for inventory purpose. Bookseller Inventory # ABE ORG##CB11634

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 45.35
Convert Currency

Add to Basket

Shipping: US$ 4.12
From India to U.S.A.
Destination, Rates & Speeds

2.

Doron A. Peled
Published by Springer (2001)
ISBN 10: 0387951067 ISBN 13: 9780387951065
New Hardcover Quantity Available: 1
Seller:
Irish Booksellers
(Rumford, ME, U.S.A.)
Rating
[?]

Book Description Springer, 2001. Hardcover. Book Condition: New. book. Bookseller Inventory # M0387951067

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 63.31
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

3.

Peled A.D.
ISBN 10: 0387951067 ISBN 13: 9780387951065
New Quantity Available: 5
Seller:
firstbookstore
(New Delhi, India)
Rating
[?]

Book Description Book Condition: Brand New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!. Bookseller Inventory # AIND-29593

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 65.42
Convert Currency

Add to Basket

Shipping: FREE
From India to U.S.A.
Destination, Rates & Speeds

4.

Peled A.D.
ISBN 10: 0387951067 ISBN 13: 9780387951065
New Quantity Available: 1
Seller:
Bookshub
(Karol Bagh, India)
Rating
[?]

Book Description Book Condition: New. New. US edition. Perfect condition. Customer satisfaction our priority. Bookseller Inventory # ABE-FEB-37130

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 66.15
Convert Currency

Add to Basket

Shipping: FREE
From India to U.S.A.
Destination, Rates & Speeds

5.

Peled A.D.
ISBN 10: 0387951067 ISBN 13: 9780387951065
New Quantity Available: 1
Seller:
EBOOKSTORE2010
(New Delhi, ND, India)
Rating
[?]

Book Description Book Condition: Brand New. New. US edition. Customer Satisfaction guaranteed!!. Bookseller Inventory # SHUB37130

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 66.20
Convert Currency

Add to Basket

Shipping: FREE
From India to U.S.A.
Destination, Rates & Speeds

6.

Peled A.D.
ISBN 10: 0387951067 ISBN 13: 9780387951065
New Quantity Available: 5
Seller:
Romtrade Corp.
(STERLING HEIGHTS, MI, U.S.A.)
Rating
[?]

Book Description Book Condition: New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery. Bookseller Inventory # AUSBNEW-29593

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 69.31
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

7.

Peled A.D.
ISBN 10: 0387951067 ISBN 13: 9780387951065
New Quantity Available: 1
Seller:
Basi6 International
(Irving, TX, U.S.A.)
Rating
[?]

Book Description Book Condition: Brand New. New, US edition. Excellent Customer Service. Bookseller Inventory # ABEUSA-37130

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 69.32
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

8.

Peled, Doron A.
Published by Springer
ISBN 10: 0387951067 ISBN 13: 9780387951065
New Hardcover Quantity Available: 1
Seller:
IBestBargains, LLC
(Houston, TX, U.S.A.)
Rating
[?]

Book Description Springer. Hardcover. Book Condition: New. 0387951067 Brand New Book in Perfect Condition.Fast Shipping with tracking number. Bookseller Inventory # KEDA-DBSPD-15845

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 72.71
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

9.

Peled Doron A.
Published by Springer
ISBN 10: 0387951067 ISBN 13: 9780387951065
New Quantity Available: 1
Seller:
Majestic Books
(London, ,, United Kingdom)
Rating
[?]

Book Description Springer. Book Condition: New. pp. 356 Illus. Bookseller Inventory # 7589982

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 70.59
Convert Currency

Add to Basket

Shipping: US$ 7.36
From United Kingdom to U.S.A.
Destination, Rates & Speeds

10.

Doron A. Peled
Published by Springer-Verlag New York Inc., United States (2001)
ISBN 10: 0387951067 ISBN 13: 9780387951065
New Hardcover Quantity Available: 1
Seller:
The Book Depository US
(London, United Kingdom)
Rating
[?]

Book Description Springer-Verlag New York Inc., United States, 2001. Hardback. Book Condition: New. 2001 ed.. Language: English . Brand New Book. This book presents current methods for dealing with software reliability, illustrating the advantages and disadvantages of each method. The description of the techniques is intended for a non-expert audience with some minimal technical background. It also describes some advanced techniques, aimed at researchers and practitioners in software engineering. This reference will serve as an introduction to formal methods and techniques and will be a source for learning about various ways to enhance software reliability. Various projects and exercises give readers hands-on experience with the various formal methods and tools. Bookseller Inventory # LIB9780387951065

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 108.58
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book