Matches in Library of Congress for { <http://lccn.loc.gov/2012952937> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- 2012952937 alternative "CPP 2012.".
- 2012952937 contributor B12705952.
- 2012952937 contributor B12705953.
- 2012952937 created "c2012.".
- 2012952937 date "2012".
- 2012952937 date "c2012.".
- 2012952937 dateCopyrighted "c2012.".
- 2012952937 description "Includes bibliographical references and author index.".
- 2012952937 extent "x, 304 p. :".
- 2012952937 identifier "364235307X (pbk. : alk. paper)".
- 2012952937 identifier "9783642353079 (pbk. : alk. paper)".
- 2012952937 isPartOf "LNCS sublibrary. SL 1, Theoretical computer science and general issues.".
- 2012952937 isPartOf "Lecture notes in computer science ; 7679.".
- 2012952937 issued "2012".
- 2012952937 issued "c2012.".
- 2012952937 language "eng".
- 2012952937 publisher "Berlin ; New York : Springer,".
- 2012952937 subject "004.01/51 23".
- 2012952937 subject "Computer science Mathematics Congresses.".
- 2012952937 subject "Computer software Verification Congresses.".
- 2012952937 subject "Formal methods (Computer science) Congresses.".
- 2012952937 subject "QA76.9.M35 C67 2012".
- 2012952937 title "CPP 2012.".
- 2012952937 title "Certified programs and proofs : second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings / Chris Hawblitzel, Dale Miller (eds.).".
- 2012952937 type "text".