Leucker, Martin. <br/><br/>
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. 
 -  v.: digital 
 - Lecture Notes in Computer Science,  5289  0302-9743 .
<br/><br/><label>ISBN: </label>9783540892472 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science<br/>Operating systems (Computers)<br/>Computer system performance<br/>Software engineering<br/>Computer software<br/>Logic design<br/>Computer Science<br/>Software Engineering<br/>Performance and Reliability<br/>Programming Languages, Compilers, Interpreters<br/>System Performance and Evaluation<br/>Algorithm Analysis and Problem Complexity<br/>Logics and Meanings of Programs
<br/><br/><label>LC Class. No.: </label>QA76.9.F67   / L48 2008