Bensalem, Saddek.
Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers / [electronic resource] : edited by Saddek Bensalem, Doron A. Peled. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5779 0302-9743 ; . - Lecture Notes in Computer Science, 5779 .
9783642046940
10.1007/978-3-642-04694-0 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 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers / [electronic resource] : edited by Saddek Bensalem, Doron A. Peled. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5779 0302-9743 ; . - Lecture Notes in Computer Science, 5779 .
9783642046940
10.1007/978-3-642-04694-0 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