Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Martin Leucker.

Ämnesord

Computer science  (LCSH)

Computer software  (LCSH)

Computer system performance  (LCSH)

Logic design  (LCSH)

Operating systems (Computers)  (LCSH)

Software engineering  (LCSH)

Computer Science 

Algorithm Analysis and Problem Complexity 

Logics and Meanings of Programs 

Performance and Reliability 

Programming Languages, Compilers, Interpreters 

Software Engineering 

System Performance and Evaluation 

Nyckelord

Springer eBooks