Doron A. Peled

eBook, PDF

Software Reliability Methods (eBook, PDF)

Beschreibung

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.

Technische Details

• Geräte: PC
• ohne Kopierschutz
• Größe: 33.02MB

Barrierefreiheit

• Text-to-Speech
• E-Mail des Verlags für Barrierefreiheitsfragen: [e-mail]
• Keine Einschränkung der Vorlesefunktionen, außer bei spezifischen Ausnahmen
• Bekannt für fehlende wesentliche Barrierefreiheitsmerkmale

Produktdetails

• Verlag: Springer US
• Seitenzahl: 332
• Erscheinungstermin: 29. Juni 2013
• Englisch
• ISBN-13: 9781475735406
• Artikelnr.: 43987972

Rezensionen

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)