Proof and system-reliability
By: edited by Helmut Schwichtenberg and Ralf Steinbrüggen.
Contributors: Schwichtenberg, Helmut, 1942-; Steinbrüggen, Ralf.; North Atlantic Treaty Organization. Scientific Affairs Division
Series: NATO science series -- v. 62
Publisher: Kluwer Academic Publishers
Published: 2002
Place of publication: Dordrecht; Boston
Language: eng
Number of pages: 415
Subjects: Computer systems -- Reliability -- Congresses.; Proof theory -- Congresses.
Genres: Congresses.
Notes: "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"--T.p. verso.

Includes bibliographical references.