Mein Bibliothekskonto
Start
Hilfe
Blog
Weitere Dienste
Neuerwerbungslisten
Fachsystematik Bücher
Erwerbungsvorschlag
Bestellung aus dem Magazin
Fernleihe
Universitätsbibliothek
Recherche
Katalog
Details
Details
Autor(en)
Lahiri, Shuvendu
;
Reger, Giles
Titel
Runtime Verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings
Teil von
Lecture Notes in Computer Science; 10548
Ort / Verlag
Cham : Springer International Publishing; Imprint: Springer
Erscheinungsjahr
2017
Links zum Volltext
Direkt zur Online-Ressource
http://dx.doi.org/10.1007/978-3-319-67531-2
Gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) erreichbar
Verknüpfte Titel
Format
1 Online-Ressource (XIX, 432 p. 147 illus)
Sprache(n)
Englisch
Identifikator(en)
ISBN: 978-3-319-67531-2
OCLC-Nummer: 1073891709
Links zum Inhalt
Inhaltsverzeichnis
http://digitale-objekte.hbz-nrw.de/storage2/2018/07/10/file_19/8109124.pdf
Schlagwörter
Computer science
,
Computer system failures
,
Computer programming
,
Software engineering
,
Programming languages (Electronic computers)
,
Computer security
Systemstelle
–
Signatur
–
Nach oben
Die Universität der Informationsgesellschaft