Matches in Library of Congress for { <http://lccn.loc.gov/2004117275> ?p ?o. }
Showing items 1 to 30 of
30
with 100 items per page.
- 2004117275 alternative "VMCAI 2005".
- 2004117275 contributor B9886736.
- 2004117275 contributor B9886737.
- 2004117275 created "c2005.".
- 2004117275 date "2005".
- 2004117275 date "c2005.".
- 2004117275 dateCopyrighted "c2005.".
- 2004117275 description "Includes bibliographical references and index.".
- 2004117275 extent "xi, 481 p. :".
- 2004117275 hasFormat "Also issued online.".
- 2004117275 identifier "354024297X (pbk.)".
- 2004117275 identifier "9783540242970 (pbk.)".
- 2004117275 identifier openurl.asp?genre=issue&issn=0302-9743&volume=3385.
- 2004117275 identifier 2004117275-d.html.
- 2004117275 identifier 2004117275.html.
- 2004117275 identifier 2004117275.html.
- 2004117275 isFormatOf "Also issued online.".
- 2004117275 isPartOf "Lecture notes in computer science, 0302-9743 ; 3385".
- 2004117275 issued "2005".
- 2004117275 issued "c2005.".
- 2004117275 language "eng".
- 2004117275 publisher "Berlin ; New York : Springer,".
- 2004117275 relation "Also issued online.".
- 2004117275 subject "005.1/4 22".
- 2004117275 subject "Computer programs Verification Congresses.".
- 2004117275 subject "Logiciels Vérification Congrès.".
- 2004117275 subject "QA76.76.V47 V53 2005".
- 2004117275 title "VMCAI 2005".
- 2004117275 title "Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings / Radhia Cousot (ed.).".
- 2004117275 type "text".