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:

Konferenzschrift -- 1987 -- Altrincham

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

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