Hoares communicating sequential processes Erweiterung des Spurenmodells
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
1985
|
| Tags: |
No Tags, Be the first to tag this record!
|
| Order eBook: |
|
| Order Book: | Login to order |
| Item Description: | Reinecke, Ruediger -- Reinecke, Rüdiger: Hoares communicating sequential processes; Erweiterung des Spurenmodells. -- 1985. 147 S. 8° -- Kaiserslautern, Univ., FB Informatik, Diss. v. 1985 |
|---|---|
| Physical Description: | 147 S. 8° |