Matches in Library of Congress for { <http://lccn.loc.gov/2012941285> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- 2012941285 contributor B12701459.
- 2012941285 contributor B12701460.
- 2012941285 created "c2012.".
- 2012941285 date "2012".
- 2012941285 date "c2012.".
- 2012941285 dateCopyrighted "c2012.".
- 2012941285 description "Includes bibliographical references and index.".
- 2012941285 extent "x, 260 p. :".
- 2012941285 identifier "3642317588".
- 2012941285 identifier "9783642317583 (alk. paper)".
- 2012941285 identifier "9783642317590 (e-ISBN)".
- 2012941285 identifier 2012941285-d.html.
- 2012941285 isPartOf "LNCS sublibrary. SL 1, Theoretical computer science and general issues.".
- 2012941285 isPartOf "Lecture notes in computer science, 0302-9743 ; 7385.".
- 2012941285 issued "2012".
- 2012941285 issued "c2012.".
- 2012941285 language "eng".
- 2012941285 publisher "Heidelberg ; New York : Springer,".
- 2012941285 subject "005.3028/7 23".
- 2012941285 subject "Computer software Verification Congresses.".
- 2012941285 subject "QA76.76.V47 I58 2012".
- 2012941285 subject "SPIN (Computer file) Congresses.".
- 2012941285 title "Model checking software : 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012 : proceedings / Alastair Donaldson, David Parker (eds.)".
- 2012941285 type "text".