Proof and system-reliability 
edited by Helmut Schwichtenberg and Ralf Steinbrüggen 
 - Dordrecht ; Boston  Kluwer Academic Publishers  c2002 
 - xii, 415 p. : ill. ; 25 cm 
<br/><br/> Includes bibliographical references 
<br/><br/><label>ISBN: </label>9781402006081 
<br/><br/><label>ISSN: </label>2002069525 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer systems - Reliability - Congresses<br/>Proof theory - Congresses
<br/><br/><label>Dewey Class. No.: </label>003 SCH