Matches in Library of Congress for { <http://lccn.loc.gov/2007920490> ?p ?o. }
Showing items 1 to 29 of
29
with 100 items per page.
- 2007920490 alternative "HVC 2006".
- 2007920490 contributor B11054328.
- 2007920490 contributor B11054329.
- 2007920490 created "c2007.".
- 2007920490 date "2007".
- 2007920490 date "c2007.".
- 2007920490 dateCopyrighted "c2007.".
- 2007920490 description "Hardware verification track -- Tools track -- Software testing track.".
- 2007920490 description "Includes bibliographical references and index.".
- 2007920490 extent "xii, 234 p. :".
- 2007920490 identifier "354070888X (soft cover : alk. paper)".
- 2007920490 identifier "9783540708889 (soft cover : alk. paper)".
- 2007920490 identifier 2007920490-d.html.
- 2007920490 identifier 2007920490.html.
- 2007920490 isPartOf "Lecture notes in computer science, 0302-9743 ; 4383".
- 2007920490 issued "2007".
- 2007920490 issued "c2007.".
- 2007920490 language "eng".
- 2007920490 publisher "Berlin ; New York : Springer,".
- 2007920490 subject "004 22".
- 2007920490 subject "Computer programs Verification Congresses.".
- 2007920490 subject "Computer software Verification Congresses.".
- 2007920490 subject "Computer systems Verification Congresses.".
- 2007920490 subject "Integrated circuits Verification Congresses.".
- 2007920490 subject "QA76.76.V47 I54 2006".
- 2007920490 tableOfContents "Hardware verification track -- Tools track -- Software testing track.".
- 2007920490 title "HVC 2006".
- 2007920490 title "Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 : revised selected papers / Eyal Bin, Avi Ziv, Shmuel Ur (eds.).".
- 2007920490 type "text".