Runtime verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018 : proceedings

Runtime verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018 : proceedings

Weitere Versionen anzeigen (1)
Gespeichert in:
Bibliographische Detailangaben
Körperschaft: RV Limassol (VerfasserIn)
Weitere Verfasser: Colombo, Christian (HerausgeberIn), Leucker, Martin 1971- (HerausgeberIn)
Format: Elektronisch Tagungsbericht E-Book
Sprache:English
Veröffentlicht: Cham Springer [2018]
Schriftenreihe:Lecture notes in computer science 11237 : Programming and software engineering
Schlagworte:
Software Engineering
Programming Languages, Compilers, Interpreters
System Performance and Evaluation
Logics and Meanings of Programs
The Computing Profession
Mathematical Logic and Formal Languages
Software engineering
Computer science
Computer system performance
Logic design
Computer industry
Formale Methode
Programmanalyse
Programmlaufzeit
Laufzeitsystem
Softwarearchitektur
Hardwareverifikation
Systemanalyse
Programmverifikation
Computerarchitektur
Konferenzschrift
Online-Zugang:BTU01
FHA01
FHI01
FHM01
FHN01
FHR01
FKE01
FLA01
FRO01
FWS01
FWS02
HTW01
TUM01
UBA01
UBG01
UBM01
UBR01
UBT01
UBW01
UBY01
UER01
UPA01
URL des Erstveröffentlichers
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Wegen Wartungsarbeiten nicht verfügbar

Unser Bibliotheksverwaltungssystem ist momentan wegen Wartungsarbeiten nicht verfügbar.

Bestandes- und Verfügbarkeitsinformationen können momentan leider nicht angezeigt werden. Wir entschuldigen uns für die Umstände und stehen für weitere Fragen gerne zur Verfügung:

it.bib-wue@thws.de

Online

BTU01
FHA01
FHI01
FHM01
FHN01
FHR01
FKE01
FLA01
FRO01
FWS01
FWS02
HTW01
TUM01
UBA01
UBG01
UBM01
UBR01
UBT01
UBW01
UBY01
UER01
UPA01
URL des Erstveröffentlichers

Ähnliche Einträge