Matches in Library of Congress for { <http://lccn.loc.gov/2006939351> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 2006939351 alternative "VMCAI 2007".
- 2006939351 contributor B10747438.
- 2006939351 contributor B10747439.
- 2006939351 created "c2007.".
- 2006939351 date "2007".
- 2006939351 date "c2007.".
- 2006939351 dateCopyrighted "c2007.".
- 2006939351 description "Includes bibliographical references and index.".
- 2006939351 extent "xi, 394 p. :".
- 2006939351 identifier "3540697357 (pbk.)".
- 2006939351 identifier "9783540697350 (pbk.)".
- 2006939351 identifier 2006939351-d.html.
- 2006939351 isPartOf "Lecture notes in computer science, 0302-9743 ; 4349".
- 2006939351 issued "2007".
- 2006939351 issued "c2007.".
- 2006939351 language "eng".
- 2006939351 publisher "Berlin ; New York : Springer,".
- 2006939351 subject "005.14 22".
- 2006939351 subject "Computer programs Verification Congresses.".
- 2006939351 subject "QA76.76.V47 V53 2007".
- 2006939351 title "VMCAI 2007".
- 2006939351 title "Verification, model checking, and abstract interpretation : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings / Byron Cook, Andreas Podelski (eds.).".
- 2006939351 type "text".