Shortcuts
 
PageMenu- Hauptmenü-
Page content
 

Suchergebnisse

Ihre Suche nach TEMPORALE LOGIK ergibt 2 Einträge

Suchergebnisseite: .   1   .   . Seite: 1 von 1
Die Titel, die in Fettdruck angezeigt werden, haben verfügbare Medien, Titel ohne Fettdruck haben derzeit keine verfügbaren Medien.

Suchergebnisse einschränken

Medientyp:
LitAbtlg:
Sprache:
Standort:
Suchergebnisse in Regalansicht anzeigen.
Suchergebnisse
Nr. Cover Titel Verfasser Jahr Beschreibung Exemplarinformation
1 Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach [E-Book]   2006 E-Book URL Exists Catalogue Record .
2 Systems and software verification: model-checking techniques and tools Systems and software verification: model-checking techniques and tools [Buch]   2001 Buch URL Exists Catalogue Record Regalstandort: ST 233 B483.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 2.
Suchergebnisseite: .   1   .   . Seite: 1 von 1
Die Titel, die in Fettdruck angezeigt werden, haben verfügbare Medien, Titel ohne Fettdruck haben derzeit keine verfügbaren Medien.

Schnellsuche