Matches in Library of Congress for { <http://lccn.loc.gov/2006921186> ?p ?o. }
Showing items 1 to 32 of
32
with 100 items per page.
- 2006921186 alternative "First International Haifa Verification Conference".
- 2006921186 alternative "International Haifa Verification Conference".
- 2006921186 contributor B10733994.
- 2006921186 contributor B10733995.
- 2006921186 created "2006.".
- 2006921186 date "2006".
- 2006921186 date "2006.".
- 2006921186 dateCopyrighted "2006.".
- 2006921186 description "Includes bibliographical references and index.".
- 2006921186 extent "x, 264 p. :".
- 2006921186 hasFormat "Also issued online.".
- 2006921186 identifier "3540326049".
- 2006921186 identifier "9783540326045".
- 2006921186 identifier openurl.asp?genre=issue&issn=0302-9743&volume=3875.
- 2006921186 identifier 2006921186-d.html.
- 2006921186 isFormatOf "Also issued online.".
- 2006921186 isPartOf "Lecture notes in computer science, 0302-9743 ; 3875".
- 2006921186 issued "2006".
- 2006921186 issued "2006.".
- 2006921186 language "eng".
- 2006921186 publisher "Berlin ; New York : Springer,".
- 2006921186 relation "Also issued online.".
- 2006921186 subject "005.1/4 22".
- 2006921186 subject "Computer programs Verification Congresses.".
- 2006921186 subject "Computer software Verification Congresses.".
- 2006921186 subject "Computer systems Verification Congresses.".
- 2006921186 subject "Integrated circuits Verification Congresses.".
- 2006921186 subject "QA76.76.V47 I54 2005".
- 2006921186 title "First International Haifa Verification Conference".
- 2006921186 title "Hardware and software, verification and testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers / Shmuel Ur, Eyal Bin, Yaron Wolfsthal (eds.).".
- 2006921186 title "International Haifa Verification Conference".
- 2006921186 type "text".