Cover von Computer aided verification opens in new tab

Computer aided verification

19th international conferenece : Berlin, Germany, July 3 - 7, 2007 : proceedings
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 4590
Media group: MONOGRAPHIE
available

Copies

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

Content

International confernece on computer aided verification <19, 2007, Berlin>

Details

Search for this author
Year: 2007
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-540-73367-6
ISBN (2nd): 3-540-73367-1
Description: XV, 562 S.
Series: Lecture notes in computer science; 4590
Participating parties: Search for this character Damm, Werner; Hermanns, Holger
Parallel title: CAV 2007
Media group: MONOGRAPHIE