Custom cover image
Custom cover image

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
Subject(s): Genre/Form: DDC classification:
  • 001.64
RVK: RVK: SD 1984LOC classification:
  • QA76.5
Call number: Grundsignatur: 85 A 2446PPN: PPN: 025278754
Holdings
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