Cover Bild

Principles of model checking

Verfasser: Baier, Christel
Katoen, Joost-Pieter
Medienart: Gedrucktes Buch
Sprache: Englisch
Veröffentlicht: Cambridge, Mass. [u.a.], MIT Press, 2008
ISBN: 978-0-262-02649-9
Schlagworte:

Online

Inhaltsverzeichnis

Bereichsbibliothek Elektrotechnik und Informationstechnik (Geb. 12)

Status Info zum Ex. Signatur Mediennr. Notiz Funktionen
Dauer­leihe 2 Wochen ausleihbar EIT 190/083 109762892

Zentralbibliothek (Geb. 32)

Status Info zum Ex. Signatur Mediennr. Notiz Funktionen
ausleihbar 4 Wochen ausleihbar (LBS) L INF 136 109275125
ausleihbar 4 Wochen ausleihbar (LBS) L INF 136 109275084 2. Ex.
ausleihbar 4 Wochen ausleihbar (LBS) L INF 136 109275167 3. Ex.
ausleihbar 4 Wochen ausleihbar (LBS) L INF 136 109275208 4. Ex.

Bereichsbibliothek Informatik (Geb. 36)

Status Info zum Ex. Signatur Mediennr. Notiz Funktionen
ausleihbar 2 Wochen ausleihbar (keine Dauerleihe) INF 367/101 109268729
einsehbar Semester­apparat INF 367/101 109268518 2. Ex.