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
Chai, Ming ¬[VerfasserIn]¬ : Runtime verification of railway applications with extended live sequence charts / Ming Chai Aachen : Shaker Verlag : $aAachen$bShaker Verlag$c2016 , 2016. - viii, 153 Seiten : Illustrationen, Diagramme ; 24 cm x 17 cm, 249 g () Zusammenfassung in deutscher und englischer Sprache ISBN 978-3-8440-4333-4 Festeinband : EUR 48.80 (AT), sfr 61.10 (freier Preis), EUR 48.80 (DE) ISBN 3-8440-4333-0 Humboldt-Universität zu Berlin ¬[Grad-verleihende Institution]¬ SW: 210071303 Zugsicherung / 211439797 Laufzeitsystem / 209661933 Verifikation / 470461438 Live Sequence Chart / 209599057 Erweiterung / 209922168 Mehrwertige Logik / 210042664 Unsicherheit / 337254753 ETCS / 212165305 Handover / 209734183 Benchmark <500241317 - ST 233 C434> ------------------------------ 00400742 Verfügbar in Hauptbibliothek Freihand ST 233 C434 -----------------------------------------------
Schnellsuche
Suche nach