Runtime Verification [electronic resource] : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers / edited by Martin Leucker.
By: Leucker, Martin.
Contributor(s): SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science, 5289.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Description: digital.ISBN: 9783540892472.Subject(s): Computer science | Operating systems (Computers) | Computer system performance | Software engineering | Computer software | Logic design | Computer Science | Software Engineering | Performance and Reliability | Programming Languages, Compilers, Interpreters | System Performance and Evaluation | Algorithm Analysis and Problem Complexity | Logics and Meanings of ProgramsDDC classification: 005.1 Online resources: Click here to access online
In:
Springer eBooks
No physical items for this record
There are no comments for this item.