Normal view
MARC view
The Kluwer international series in engineering and computer science ; SECS 285 (Uniform Title)
Machine generated authority record.
Work cat.: (OSt)0: Foundations of dependable computing. System implementation /, 1994.