Bibliograph. Daten | Schirmer, Darius: Eine Prädikat- und Invariantenverwaltung zur Synchronisation in APRICOTS. Universität Stuttgart, Fakultät Informatik, Diplomarbeit Nr. 1526 (1997). 113 Seiten, deutsch.
|
CR-Klassif. | C.2.4 (Distributed Systems) D.4.5 (Operating Systems Reliability) F.3.1 (Specifying and Verifying and Reasoning about Programs) H.2.4 (Database Management Systems)
|
Abteilung(en) | Universität Stuttgart, Institut für Parallele und Verteilte Höchstleistungsrechner, Anwendersoftware (Prof. Reuter)
|
Eingabedatum | 30. September 2002 |
---|