Leucker, Martin.
Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers / [electronic resource] : edited by Martin Leucker. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 5289 0302-9743 ; . - Lecture Notes in Computer Science, 5289 .
9783540892472
10.1007/978-3-540-89247-2 doi
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 Programs.
QA76.758
005.1
Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers / [electronic resource] : edited by Martin Leucker. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 5289 0302-9743 ; . - Lecture Notes in Computer Science, 5289 .
9783540892472
10.1007/978-3-540-89247-2 doi
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 Programs.
QA76.758
005.1