Temporal logic and state systems / Fred Kröger; Stephan Merz

Von:

Kröger, Fred, 1945- [aut]

Mitwirkende(r):

Merz, Stephan, 1963- [aut]

Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Texts in theoretical computer scienceVerlag: Berlin ; Heidelberg : Springer, 2008Beschreibung: XI, 433 S. : graph. Darst. ; 235 mm x 155 mmISBN:

3540674012
9783540674016

Schlagwörter:

Andere physische Formen: 9783540686354 | Erscheint auch als: Temporal Logic and State Systems. Online-Ausgabe. Berlin : Springer, 2008. Online-Ressource (digital)DDC-Klassifikation:

160 22
005.131
511.31

MSC: MSC: *03-02 | 03B44 | 03B70 | 68-02 | 68Q60 | 68Q85RVK: RVK: SK 130 | ST 125LOC-Klassifikation:

BC199.T4

PPN: PPN: 506517594

Exemplare ( 1 )

Exemplare
Medientyp	Heimatbibliothek	Sammlung	Standort	Signatur	Status	Fälligkeitsdatum	Barcode
Handbibliothek	Fakultät für Informatik	F.Krö	Handbibliothek (Ausleihe und Einsicht nicht möglich)	F.Krö(56079)	Ausgeliehen Ausleihe und Einsicht nicht möglich	18.09.2043	000639455090

Anzahl Vormerkungen: 0