Matches in Library of Congress for { <http://lccn.loc.gov/2009928779> ?p ?o. }
Showing items 1 to 30 of
30
with 100 items per page.
- 2009928779 contributor B11726084.
- 2009928779 contributor B11726085.
- 2009928779 created "c2009.".
- 2009928779 date "2009".
- 2009928779 date "c2009.".
- 2009928779 dateCopyrighted "c2009.".
- 2009928779 description "Includes bibliographical references and index.".
- 2009928779 extent "x, 295 p. :".
- 2009928779 identifier "3642026516 (pbk. : alk. paper)".
- 2009928779 identifier "9783642026515 (pbk. : alk. paper)".
- 2009928779 identifier 04.
- 2009928779 isPartOf "LNCS sublibrary: SL 1 -- Theoretical computer science and general issues".
- 2009928779 isPartOf "Lecture notes in computer science, 0302-9743 ; 5578".
- 2009928779 issued "2009".
- 2009928779 issued "c2009.".
- 2009928779 language "eng".
- 2009928779 publisher "Berlin ; New York : Springer,".
- 2009928779 spatial "Grenoble <2009>".
- 2009928779 subject "005.1".
- 2009928779 subject "Computer software Verification Congresses.".
- 2009928779 subject "Model Checking Kongress Grenoble <2009>".
- 2009928779 subject "Model Checking. swd".
- 2009928779 subject "Programmverifikation Model Checking Kongress Grenoble <2009>".
- 2009928779 subject "Programmverifikation. swd".
- 2009928779 subject "QA76.76.V47 I58 2009".
- 2009928779 subject "SPIN (Computer file) Congresses.".
- 2009928779 title "Model checking software : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 ; proceedings / Corina S. Pasareanu (ed.).".
- 2009928779 type "Grenoble (2009) swd".
- 2009928779 type "Kongress. swd".
- 2009928779 type "text".