Logics and models of concurrent systems : [proceedings of the NATO Advanced Study Institute on Logics and Models of Concurrent Systems held at La Colle-sur-Loup, France, 8 - 19 October 1984] / ed. by Krzysztof R. Apt
Mitwirkende(r): Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: NATO. NATO ASI series / F ; 13Verlag: Berlin ; Heidelberg [u.a.] : Springer, 1985Beschreibung: VIII, 498 S. : graph. DarstISBN:- 0387151818
- 3540151818
- 001.64
- QA76.5
Medientyp | Heimatbibliothek | Standort | Signatur | Status | Barcode | |
---|---|---|---|---|---|---|
Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 85 A 2446 | Verfügbar | 44540536090 |
Anzahl Vormerkungen: 0