Hoares communicating sequential processes : Erweiterung des Spurenmodells
von Rüdiger Reinecke
| Year of publication: |
1985
|
|---|---|
| Authors: | Reinecke, Rüdiger |
| Subject: | Datenverarbeitung | Programmieren |
| Extent: | 147 S graph. Darst 8° |
|---|---|
| Type of publication: | Book / Working Paper |
| Type of publication (narrower categories): | Bericht ; Hochschulschrift |
| Language: | German |
| Thesis: | Kaiserslautern, Univ., Fachbereich Informatik, Diss., 1985 |
| Source: | ECONIS - Online Catalogue of the ZBW |
Persistent link: https://www.econbiz.de/10000004791