Runtime Verification [electronic resource] : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers / edited by Saddek Bensalem, Doron A. Peled.
By: Bensalem, Saddek.
Contributor(s): Peled, Doron A | SpringerLink (Online service).
Material type: BookSeries: Lecture Notes in Computer Science, 5779.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Description: digital.ISBN: 9783642046940.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 eBooksNo physical items for this record
There are no comments for this item.