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

By:

Kröger, Fred, 1945- [aut]

Contributor(s):

Merz, Stephan, 1963- [aut]

Resource type: Ressourcentyp: BuchBookLanguage: English Series: Texts in theoretical computer sciencePublisher: Berlin ; Heidelberg : Springer, 2008Description: XI, 433 S. : graph. Darst. ; 235 mm x 155 mmISBN:

3540674012
9783540674016

Subject(s):

Additional physical formats: 9783540686354 | Erscheint auch als: Temporal Logic and State Systems. Online-Ausgabe. Berlin : Springer, 2008. Online-Ressource (digital)DDC classification:

160 22
005.131
511.31

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

BC199.T4

PPN: PPN: 506517594

Holdings ( 1 )

Holdings
Item type	Home library	Collection	Shelving location	Call number	Status	Date due	Barcode	Item holds
Handbibliothek	Fakultät für Informatik	F.Krö	Handbibliothek (Ausleihe und Einsicht nicht möglich)	F.Krö(56079)	Checked out Ausleihe und Einsicht nicht möglich	18.09.2043	000639455090

Total holds: 0