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-RessourceDDC classification:

005.13/1 20

MSC: MSC: *68-06 | 68Q10 | 68Q60 | 03B45RVK: RVK: SS 1800 | ST 125LOC classification:

QA76.9.S88

PPN: PPN: 025216953

Holdings ( 1 )

Holdings
Item type	Home library	Collection	Shelving location	Call number	Status	Date due	Barcode
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

Print
Cite
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Karlsruher Virtueller Katalog Bibliotheksportal Karlsruhe Google Scholar Andere Bibliotheken (WorldCat)