Matches in Library of Congress for { <http://lccn.loc.gov/2006930415> ?p ?o. }
Showing items 1 to 31 of
31
with 100 items per page.
- 2006930415 alternative "CAV 2006".
- 2006930415 contributor B10741079.
- 2006930415 contributor B10741080.
- 2006930415 created "c2006.".
- 2006930415 date "2006".
- 2006930415 date "c2006.".
- 2006930415 dateCopyrighted "c2006.".
- 2006930415 description "Includes bibliographical references and index.".
- 2006930415 extent "xv, 564 p. :".
- 2006930415 hasFormat "Also issued online.".
- 2006930415 identifier "354037406X".
- 2006930415 identifier "9783540374060".
- 2006930415 identifier 2006930415-d.html.
- 2006930415 identifier 2006930415.html.
- 2006930415 identifier openurl.asp?genre=issue&issn=0302-9743&volume=4144.
- 2006930415 isFormatOf "Also issued online.".
- 2006930415 isPartOf "Lecture notes in computer science ; 4144".
- 2006930415 issued "2006".
- 2006930415 issued "c2006.".
- 2006930415 language "eng".
- 2006930415 publisher "Berlin ; New York : Springer,".
- 2006930415 relation "Also issued online.".
- 2006930415 subject "004.24 22".
- 2006930415 subject "Circuits intégrés Vérification Congrès.".
- 2006930415 subject "Computer software Verification Congresses.".
- 2006930415 subject "Integrated circuits Verification Congresses.".
- 2006930415 subject "Logiciels Vérification Congrès.".
- 2006930415 subject "QA76.76.V47 C38 2006".
- 2006930415 title "CAV 2006".
- 2006930415 title "Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings / Thomas Ball, Robert B. Jones (eds.).".
- 2006930415 type "text".