Matches in Library of Congress for { <http://lccn.loc.gov/2009942234> ?p ?o. }
Showing items 1 to 28 of
28
with 100 items per page.
- 2009942234 contributor B11735083.
- 2009942234 contributor B11735084.
- 2009942234 created "c2010.".
- 2009942234 date "2010".
- 2009942234 date "c2010.".
- 2009942234 dateCopyrighted "c2010.".
- 2009942234 description "Includes bibliographical references and index.".
- 2009942234 extent "x, 395 p. :".
- 2009942234 hasFormat "Also issued online.".
- 2009942234 identifier "3642113184".
- 2009942234 identifier "9783642113185 (pbk. : acid-free paper)".
- 2009942234 identifier F?func=service&doc_library=BVB01&doc_number=018859077&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA.
- 2009942234 identifier 04.
- 2009942234 identifier 2009942234-d.html.
- 2009942234 isFormatOf "Also issued online.".
- 2009942234 isPartOf "LNCS sublibrary. SL1, Theoretical computer science and general issues.".
- 2009942234 isPartOf "LNCS sublibrary: SL 1-theoretical computer science and general issues".
- 2009942234 isPartOf "Lecture notes in computer science ; 5944.".
- 2009942234 isPartOf "Lecture notes in computer science, 0302-9743 ; 5944".
- 2009942234 issued "2010".
- 2009942234 issued "c2010.".
- 2009942234 language "eng".
- 2009942234 publisher "Berlin ; New York : Springer,".
- 2009942234 relation "Also issued online.".
- 2009942234 subject "Computer programs Verification Congresses.".
- 2009942234 subject "QA76.76.V47 V53 2010".
- 2009942234 title "Verification, model checking, and abstract interpretation : 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings / Gilles Barthe, Manuel Hermenegildo, eds.".
- 2009942234 type "text".