Image from Amazon.com
Runtime verification [electronic resource] : 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers / edited by Saddek Bensalem, Doron A. Peled.
Series: Lecture notes in computer science ; 5779Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.Description: 201 pages : illustrations, digitalISBN:- 9783642046940
- RV 2009
- Formal methods (Computer science) -- Congresses
- Computer programs -- Verification -- Congresses
- Computer programs -- Testing -- Congresses
- Logics and Meanings of Programs
- Algorithm Analysis and Problem Complexity
- System Performance and Evaluation
- Programming Languages, Compilers, Interpreters
- Performance and Reliability
- Software Engineering
- 005.131 22
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.