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:

Konferenzschrift -- 1987 -- Altrincham

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 ( 1 )

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