Image from Amazon.com
Runtime verification [electronic resource] : 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers / Oleg Sokolsky, Serdar Ta{o}siran (eds.).
Series: Lecture notes in computer science ; 4839 | LNCS sublibrary. SL 2, Programming and software engineeringPublication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.Description: viii, 213 p. : ill., digitalISBN:- 9783540773955 (electronic bk.)
- RV 2007
- Formal methods (Computer science) -- Congresses
- Computer software -- Verification -- Congresses
- Computer software -- Testing -- Congresses
- Aspect-oriented programming -- Congresses
- Computer Science
- Logics and Meanings of Programs
- Management of Computing and Information Systems
- Programming Languages, Compilers, Interpreters
- Software Engineering
- 004.24 22
No physical items for this record
Includes bibliographical references and index.
There are no comments on this title.
Log in to your account to post a comment.