Vista normal Vista MARC Vista ISBD

Proof and system-reliability / edited by Helmut Schwichtenberg and Ralf Steinbruggen - xii, 415 páginas : ilustraciones ; - NATO science series. v. 62 .

"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

ISBN: 1402006071 (papel alcalino)

Subjects--Topical Terms:
Sistemas para computadoras--Confiabilidad--Congresos
Teoría de la demostración--Congresos

LC Class. No.: QA76.76R44 / N37

Dewey Class. No.: 004