Cover Image

Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings /

This book constitutes the refereed proceedings of the 6th International Conference on Runtime Verification, RV 2015, held in Vienna, Austria in September 2015. The 15 revised full papers presented together with 4 short papers, 2 tool papers, 4 tutorials, 3 invited talks, and 2 software competition p...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Bartocci, Ezio. (Editor, http://id.loc.gov/vocabulary/relators/edt), Majumdar, Rupak. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Electronic eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2015.
Edition:1st ed. 2015.
Series:Programming and Software Engineering ; 9333
Subjects:
Software engineering.
Algorithms.
Computer logic.
Computer programming.
Programming languages (Electronic computers).
Mathematical logic.
Software Engineering.
Algorithm Analysis and Problem Complexity.
Logics and Meanings of Programs.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Online Access:https://doi.org/10.1007/978-3-319-23820-3
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

https://doi.org/10.1007/978-3-319-23820-3

Similar Items