hintergrundbild
logo
logo
Suchfeld einblenden
ISBN / EAN
Nachname
Vorname
Titel
Reihe
Schlagwort
und   oder
Index
Verlag
Ersch.-Jahr
bis
Katalog
Rezensent
Schlagwort Programmlaufzeit
1 Treffer
Seite < 1 >
Cover

Runtime verification

: 8th international workshop ; selected papers / RV 2008, Budapest, Hungary, March 30, 2008. Martin Leucker (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5289)

ISBN 978-3-540-89247-2

Lizenzpflichtig

Quelle: DNB

Seite < 1 >
Projekte . Kooperationen