Diab, Hassan B <br/><br/>
Dependable Computing Systems : paradigms, performance issues, and applications 
by Hassan B. Diab 
 - Hoboken, N.J.  John Wiley & Sons  2005 
 - xxxix, 638p.  
<br/><br/><p>Table of contents:</p><br/><br/><p>1. Formal 
<br/><br/><label>ISBN: </label>9780471674221 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computers - Reliability<br/>Fault-tolerant computing - Case studies<br/>Fault-tolerant computing
<br/><br/><label>Dewey Class. No.: </label>004.2 DIB