Catalog
Bookmarks
0
Course Reserves
My Account
Advanced search
Search in
Keyword
Title
Author/Creator
Subject
Browse by LC Call Number
Browse by Author
Browse by Subject
search for
Search
Search
Advanced search
Start Over
Actions for Proof and system-reliability
Share
Email
RIS file
Bookmark
Report an Issue
Proof and system-reliability / edited by Helmut Schwichtenberg and Ralf Steinbrüggen
Conference Author
NATO Advanced Study Institute on Proof and System-Reliability (2001 : Marktoberdorf, Germany)
Published
Dordrecht ; Boston : Kluwer Academic Publishers, [2002]
Copyright Date
©2002
Physical Description
xii, 415 pages : illustrations ; 25 cm.
Additional Creators
Schwichtenberg, Helmut, 1942-
,
Steinbrüggen, Ralf
, and
North Atlantic Treaty Organization. Scientific Affairs Division
Full Text available online
Availability
Browse Nearby on Shelf
I Want It
I Want It
Finding items...
Series
NATO science series. Series II, Mathematics, physics, and chemistry ; v. 62.
Subject(s)
Computer systems
—
Reliability
—
Congresses
Proof theory
—
Congresses
ISBN
1402006071 (alk. paper)
140200608X
Note
"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.
Bibliography Note
Includes bibliographical references.
View MARC record
| catkey: 2314211