Normal view
MARC view
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.
Material type: Computer fileSeries: Lecture Notes in Computer SciencePublication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008ISBN: 9783540892472Subject(s): Computer Science | Computer software | Computer system performance | Logic design | Operating systems (Computers) | Software engineering | Computer Science | Algorithm Analysis and Problem Complexity | Logics and Meanings of Programs | Performance and Reliability | Programming Languages, Compilers, Interpreters | Software Engineering | System Performance and EvaluationOnline resources: Click here to access online In: Springer eBooksNo physical items for this record
There are no comments on this title.