Custom cover image
The formal description technique Estelle : results of the ESPRIT/SEDOS Project / [supported by the Commission of the European Communities]. Ed. by Michel Diaz ...
Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Publisher: Amsterdam [u.a.] : North-Holland, 1989Description: VIII, 439 S. : graph. Darst. ; 25 cmISBN:- 0444871322
- Nebent.: SEDOS (software environment for the design of open distributed systems) contributions to Estelle
- SEDOS (software environment for the design of open distributed systems) contributions to Estelle
- QA76.9.D5
Contents:
Call number: Grundsignatur: 89 A 967PPN: PPN: 022553460
| Item type | Home library | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 89 A 967 | Available | 46747891090 |
Total holds: 0