Cover von Runtime Verification opens in new tab

Runtime Verification

First International Conference, St. Julians, Malta, November 1 - 4, 2010, Proceedings
Search for this author
Year: 2010
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 6418
Media group: MONOGRAPHIE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: LNCS 6418 Location 2: ARCHIVE - BASEMENT Location 3: Status: reference collection

Content

International Conference on Runtime Verification <1, 2010, St. Julians>

Details

Search for this author
Year: 2010
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-642-16611-2
ISBN (2nd): 3-642-16611-3
Description: XIII, 492 S.
Series: Lecture notes in computer science; 6418
Participating parties: Search for this character Barringer, Howard; Falcone, Ylies; Finkbeiner, Bernd; Havelund, Klaus; Lee, Insup
Parallel title: RV 2010
Media group: MONOGRAPHIE