Cover von Hardware and Software opens in new tab

Hardware and Software

Verification and Testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6 - 8, 2012. Revised Selected Papers
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 7857
Media group: MONOGRAPHIE
available

Copies

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

Content

International Haifa Verification Conference <8, 2012, Haifa>

Details

Search for this author
Year: 2013
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-642-39610-6
ISBN (2nd): 3-642-39610-0
Description: XI, 279 S.
Series: Lecture notes in computer science; 7857
Participating parties: Search for this character Biere, Armin; Nahir, Amir; Vos, Tanja E. J.
Parallel title: HVC 2012
Media group: MONOGRAPHIE