Proof and system-reliability :: ISBN 1402006071 :: Kluwer Academic 2002 :: OBNB, the Open British National Bibliography

Publication Data

Title Proof and system-reliability
Contributors Helmut Schwichtenberg, Ralf Steinbrüggen, Ralf Steinbrüggen
Publisher Kluwer Academic
Publication date 2002
Publication location Dordrecht
Language English

Descriptive Notes

Proceedings of the NATO Advanced Study Institute, Marktoberdorf, Germany, 24 July-5 August 2001.
Published in cooperation with NATO Scientific Affairs Division.

Topics

Computer systems :: Reliability
Proof theory

Catalogue Data

OBNB ID GBA240269
ISBN 10 1402006071
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 004

ISBD

P1053 xii, 415 p.
P1042 Includes bibliographical references.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Proof and system-reliability. ISBN 1402006071. Published by Kluwer Academic in 2002. Publication and catalogue information, links to buy online and reader comments.