Peled, Doron, <br/><br/>
Software reliability methods 
Doron A. Peled ; foreword by Edmund M. Clarke. 
 - New York :  Springer,  c2001. 
 - xix, 331 p. :  ill. ;  25 cm. 
 - Texts in computer science .
<br/><br/><label>ISBN: </label>0387951067 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Reliability.
<br/><br/><label>Dewey Class. No.: </label>005