Cover is for reference only

Proof and system-reliability

Saved in:
Bibliographic Details
Corporate Authors: NATO Advanced Study Institute on Proof and System-Reliability (2001 Marktoberdorf, Germany; North Atlantic Treaty Organization. Scientific Affairs Division
Group Author: Schwichtenberg Helmut 1942-; Steinbrüggen Ralf
Published: Kluwer Academic Publishers,
Publisher Address: Dordrecht Boston
Publication Dates: c2002.
Literature type: Book
Language: English
Series: NATO science series.. Series II,, Mathematics, physics, and chemistryMathematics, physics, and chemistry ; v. 62
Subjects:
Computer systems > Reliability
Proof theory
Carrier Form: xii, 415 p.: ill. ; 25 cm.
ISBN: 1402006071 (alk. paper)
140200608X (pbk.)
Index Number: TP302
CLC: TP302.7-532
Call Number: TP302.7-532/P965/2001
Contents: "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.

Related Book Recommendations