Software reliability methods /

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...

Full description

Bibliographic Details

Main Author:	Peled, Doron A., 1962-
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	New York : Springer, [2001]
Series:	Texts in computer science.
Subjects:	Computer software > Reliability. Fiabilité du logiciel. Méthode formelle. Software. Zuverlässigkeit. Formale Methode. Electronic books.
Online Access:	Connect to the full text of this electronic book