Courtois, Pierre-Jacques <br/><br/>
Justifying the dependability of computer-based systems : with applications in nuclear engineering 

 - London  Springer-Verlag  2008 
 - xviii, 323p. ; 24 cm. 
 - Springer series in reliability engineering .
<br/><br/><label>ISBN: </label>9781848003712  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science
<br/><br/><label>Dewey Class. No.: </label>005  / COU