2
Published 1981
Springer Berlin Heidelberg
Table of Contents: ... Specifications -- Durch Prädikation zu Objekttypen -- Sichere Systems -- Self-Diagnosis for Parallel Computers...