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
Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Series: NATO. NATO ASI series / F ; 13Publisher: Berlin ; Heidelberg [u.a.] : Springer, 1985Description: VIII, 498 S. : graph. DarstISBN:- 0387151818
- 3540151818
- 001.64
- QA76.5
Item type | Home library | Shelving location | Call number | Status | Barcode | |
---|---|---|---|---|---|---|
Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 85 A 2446 | Available | 44540536090 |
Total holds: 0