Runtime Verification [electronic resource] : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings / edited by Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann.

Barringer, Howard. (editor.). Falcone, Ylies. (editor.). Finkbeiner, Bernd. (editor.). Havelund, Klaus. (editor.). Lee, Insup. (editor.). Pace, Gordon. (editor.). Roşu, Grigore. (editor.). Sokolsky, Oleg. (editor.). Tillmann, Nikolai. (editor.). SpringerLink (Online service) (Added Author).

E-book

Add to basket Remove from basket

Print / Email

Permalink

Disable Highlighting

Electronic resources

Record details

• ISBN: 9783642166129
• Physical Description: XIII, 492p. 145 illus. online resource.
• Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Search for related items by subject

Search for related items by series

• Lecture Notes in Computer Science, 0302-9743 ; 6418
• Lecture Notes in Computer Science, 0302-9743 ; 6418