Matches in Library of Congress for { <http://lccn.loc.gov/2011930657> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 2011930657 alternative "SPIN 2011".
- 2011930657 contributor B12418201.
- 2011930657 contributor B12418202.
- 2011930657 created "[2011].".
- 2011930657 date "2011".
- 2011930657 date "[2011].".
- 2011930657 dateCopyrighted "[2011].".
- 2011930657 description "Includes bibliographical references and index.".
- 2011930657 extent "x, 193 pages :".
- 2011930657 identifier "3642223052 (soft cover : alk. paper)".
- 2011930657 identifier "9783642223051 (soft cover : alk. paper)".
- 2011930657 isPartOf "LNCS sublibrary. SL 1, Theoretical computer science and general issues".
- 2011930657 isPartOf "Lecture notes in computer science ; 6823".
- 2011930657 issued "2011".
- 2011930657 issued "[2011].".
- 2011930657 language "eng".
- 2011930657 publisher "Heidelberg ; New York : Springer,".
- 2011930657 subject "Computer software Verification Congresses.".
- 2011930657 subject "QA76.76.V47 I58 2011".
- 2011930657 subject "SPIN (Computer file) Congresses.".
- 2011930657 title "Model checking software : 18th international SPIN workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings / Alex Groce, Madanlal Musuvathi (eds.).".
- 2011930657 title "SPIN 2011".
- 2011930657 type "text".