Matches in Library of Congress for { <http://lccn.loc.gov/2008921735> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 2008921735 contributor B11377418.
- 2008921735 contributor B11377419.
- 2008921735 created "c2008.".
- 2008921735 date "2008".
- 2008921735 date "c2008.".
- 2008921735 dateCopyrighted "c2008.".
- 2008921735 extent "x, 323 p. :".
- 2008921735 identifier "3540781625 (softcover : alk. paper)".
- 2008921735 identifier "9783540781622 (softcover : alk. paper)".
- 2008921735 identifier 2008921735-d.html.
- 2008921735 identifier 2008921735.html.
- 2008921735 isPartOf "Lecture notes in computer science ; 4905".
- 2008921735 issued "2008".
- 2008921735 issued "c2008.".
- 2008921735 language "eng".
- 2008921735 publisher "Berlin ; New York : Springer,".
- 2008921735 subject "Computer programs Verification Congresses.".
- 2008921735 subject "QA76.76.V47 V53 2008".
- 2008921735 title "Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008 : proceedings / Francesco Logozzo, Doron A. Peled, Lenore D. Zuck (eds.).".
- 2008921735 type "text".