Proof and system-reliability / 
edited by Helmut Schwichtenberg and Ralf Steinbruggen 
 - xii, 415 páginas :  ilustraciones ; 
 - NATO science series.  v. 62 .
<br/><br/> "Published in cooperation with NATO Scientific Affairs Division."  "Proceedings of the NATO Advanced Study Institute on Proof and System-Reliability, Marktoberdorf, Germany, 24 July-5 August 2001"--Rev. de la portada 
<br/><br/><label>ISBN: </label>1402006071 (papel alcalino) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Sistemas para computadoras--Confiabilidad--Congresos<br/>Teoría de la demostración--Congresos
<br/><br/><label>LC Class. No.: </label>QA76.76R44  / N37 
<br/><br/><label>Dewey Class. No.: </label>004