Custom cover image
Custom cover image

Temporal logic in specification : Altrincham, UK, April 8 - 10, 1987 ; proceedings / B. Banieqbal ... (eds.)

Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Series: Lecture notes in computer science ; 398Publisher: Berlin ; Heidelberg [u.a.] : Springer, 1989Description: VI, 448 S. : graph. DarstISBN:
  • 3540518037
  • 0387518037
Subject(s): Genre/Form: Additional physical formats: Online-Ausg.: Temporal logic in specification. Berlin [u.a.] : Springer, 1989. Online-Ressource (VI, 448 S.) | Erscheint auch als: Temporal Logic in Specification. Online-Ausgabe Berlin, Heidelberg : Springer Berlin Heidelberg, 1989. Online-RessourceMSC: MSC: *68-06 | 68Q10 | 68Q60 | 03B45RVK: RVK: SS 4800LOC classification:
  • QA76.9.S88
Call number: Grundsignatur: 1987.Alt(10096)PPN: PPN: 025216953
Holdings
Item type Home library Collection Shelving location Call number Status Date due Barcode Item holds
Handbibliothek Fakultät für Informatik 1987.Alt Handbibliothek (Ausleihe und Einsicht nicht möglich) 1987.Alt(10096) Checked out Ausleihe und Einsicht nicht möglich 15.01.2034 000183888090
Total holds: 0

Powered by Koha