Specification and verification of concurrent systems / C. Rattray (ed.)
Mitwirkende(r): Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Workshops in computingVerlag: London ; Berlin ; Heidelberg [u.a.] : Springer, 1990Beschreibung: VIII, 612 S. : graph. DarstISBN:- 3540195815
- 0387195815
- QA76.6
Inhalte:
Call number: Grundsignatur: 90 A 3037PPN: PPN: 275644863
Medientyp | Heimatbibliothek | Standort | Signatur | Status | Fälligkeitsdatum | Barcode | Vormerkungen | |
---|---|---|---|---|---|---|---|---|
Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 90 A 3037 | Verfügbar | 46037621090 |
Anzahl Vormerkungen: 0