Cover von Hardware and Software opens in new tab

Hardware and Software

Verification and Testing : 6th International Haifa Verification Conference, Haifa, Israel, October 4 - 7, 2011 : Revised Selected Papers
Search for this author
Year: 2011
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 6504
Media group: MONOGRAPHIE
available

Copies

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

Content

International Haifa Verification Conference <2011, Haifa>

Details

Search for this author
Year: 2011
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-642-19582-2
ISBN (2nd): 3-642-19582-2
Description: X, 196 S.
Series: Lecture notes in computer science; 6504
Participating parties: Search for this character Barner, Sharon; Harris, Ian; Kröning, Daniel; Raz, Orna
Parallel title: HVC 2010
Media group: MONOGRAPHIE