TY  - BOOK
AU  - Schwichtenberg,Helmut
AU  - Steinbruggen,Ralf
ED  - NATO Advanced Study Institute on Proof and System-Reliability
TI  - Proof and system-reliability
T2  - NATO science series
SN  - 1402006071 (papel alcalino)
AV  - QA76.76R44 N37
U1  - 004 21
PY  - 2002///
CY  - Dordrecht
PB  - Kluwer Academic
KW  - Sistemas para computadoras
KW  - Confiabilidad
KW  - Congresos
KW  - Teoría de la demostración
N1  - "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
ER  -