Shortcuts
Top of page (Alt+0)
Page content (Alt+9)
Page menu (Alt+8)
Your browser does not support javascript, some WebOpac functionallity will not be available.
PageMenu
-
Hauptmenü
-
Suchmenü
Einfache Suche
.
Erweiterte Suche
.
Zeitschriften-Suche
.
Suchergebnisse verfeinern
.
Neuerwerbungsliste nach Gruppen
.
Sortierreihenfolge
.
Benutzerdienste
Nutzeranmeldung
.
Mein Konto
.
Erwerbungsvorschlag
.
Fernleihe
.
Vormerkung
.
Verlängerung
.
Weitere Recherchemöglichkeiten
Datenbankinfosystem (DBIS)
.
Karlsruher virtueller Katalog (KVK)
.
Regensburger Systematik (RVK)
.
Elektronische Zeitschriften (EZB)
.
Zeitschriftendatenbank (ZDB)
.
Sitzung beenden
Katalog verlassen
.
Homepage WHZ
.
Hochschulbibliothek
.
© LIBERO v6.4.1sp240211
Page content
Sie befinden sich hier
:
ISBD/Karten-Anzeige
ISBD/Karten-Anzeige
RAK
Abstraction Refinement for Large Scale Model Checking / by Chao Wang, Gary D. Hachtel, Fabio Somenzi Boston, MA : Springer Science+Business Media, LLC , 2006. - Online-Ressource (XIV, 179 p, digital) () (SpringerLink. Bücher) Includes bibliographical references and index ISBN 978-0-387-34600-7 Wang, Chao Hachtel, Gary D. Somenzi, Fabio SW: <500114246 - > ------------------------------ *** Es sind keine Exemplare vorhanden *** -----------------------------------------------
Schnellsuche
Suche nach