Specification techniques for concurrent and distributed systems
Hartmut Ehrig ; Martin Große-Rhode ; Andreas Heise
| Year of publication: |
1992
|
|---|---|
| Authors: | Ehrig, Hartmut ; Große-Rhode, Martin ; Heise, Andreas |
| Publisher: |
Berlin |
| Description of contents: | Table of Contents [digitool.hbz-nrw.de] |
| Extent: | 34 Bl. : graph. Darst. |
|---|---|
| Series: | Bericht / Technische Universität Berlin, Fachbereich 20, Informatik. - Berlin : Leiter der Fachbibl. Informatik. - Vol. 92,5 |
| Type of publication: | Book / Working Paper |
| Language: | English |
| Source: |
Persistent link: https://www.econbiz.de/10004126800