Benutzerdefiniertes Cover
Benutzerdefiniertes Cover
Normale Ansicht MARC ISBD

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

Mitwirkende(r): Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Lecture notes in computer science ; 398Verlag: Berlin ; Heidelberg [u.a.] : Springer, 1989Beschreibung: VI, 448 S. : graph. DarstISBN:
  • 3540518037
  • 0387518037
Schlagwörter: Genre/Form: Andere physische Formen: 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-Klassifikation:
  • QA76.9.S88
Call number: Grundsignatur: 1987.Alt(10096)PPN: PPN: 025216953
Exemplare
Medientyp Heimatbibliothek Sammlung Standort Signatur Status Fälligkeitsdatum Barcode Vormerkungen
Handbibliothek Fakultät für Informatik 1987.Alt Handbibliothek (Ausleihe und Einsicht nicht möglich) 1987.Alt(10096) Ausgeliehen Ausleihe und Einsicht nicht möglich 15.01.2034 000183888090
Anzahl Vormerkungen: 0

Powered by Koha