Rely guarantee method for verifying shared variable concurrent programs
Xu, Qiwen ; Roever, Willem-Paul de ; He, Jifeng 1995 Inst. für Informatik und Praktische Mathematik
- Link zu diesem Datensatz
-
https://d-nb.info/950355224
- Titel
-
Rely guarantee method for verifying shared variable concurrent programs
- Art des Inhalts
- Monographie
- Verfassangaben
- Qiwen Xu, Willem-Paul de Roever, and Jifeng He
- Autor(en)
-
- Xu, Qiwen
- Roever, Willem-Paul de
- He, Jifeng
- Verlag
- Kiel : Inst. für Informatik und Praktische Mathematik [1995]
- Jahr
- Erscheinungsdatum: 1995
- Umfang/Format
- 44 S.
- Sprache
- eng
- Sachgruppe(n)
-
- Stand
- 06.01.2026 19:42
- Im Katalog seit
- 06.03.2026
Beschreibung vom Verlag
