Software Reliability Methods

Doron A. Peled

ISBN 10: 1441928766 / ISBN 13: 9781441928764

Published by Springer, 2011

About this Item

Software Reliability Methods | Doron A. Peled | Taschenbuch | Texts in Computer Science | xix | Englisch | 2011 | Springer | EAN 9781441928764 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Seller Inventory # 107253043

Bibliographic Details

• Title: Software Reliability Methods
• Publisher: Springer
• Publication Date: 2011
• Language: English
• ISBN 10: 1441928766
• ISBN 13: 9781441928764
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 20D millimeters 235 millimeters width by 155 millimeters height by 20 millimeters depth
• Weight: 540 grams
• Seller catalogs:
  • Bücher

About this title

Synopsis

A new text/reference on formal method and techniques and tools for software development project design. Essential book for software engineers in R&D departments in industry, as well as for graduate students.

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)