Matches in Library of Congress for { <http://lccn.loc.gov/2007929430> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 2007929430 contributor B11060669.
- 2007929430 contributor B11060670.
- 2007929430 contributor B11060671.
- 2007929430 created "2006.".
- 2007929430 date "2006.".
- 2007929430 date "2007".
- 2007929430 dateCopyrighted "2006.".
- 2007929430 description "Includes bibliographical references and index.".
- 2007929430 extent "x, 283 p. :".
- 2007929430 identifier "3540733698 (softcover : alk. paper)".
- 2007929430 identifier "9783540733690 (softcover : alk. paper)".
- 2007929430 identifier 2007929430.html.
- 2007929430 isPartOf "Lecture notes in computer science ; 4595".
- 2007929430 issued "2006.".
- 2007929430 issued "2007".
- 2007929430 language "eng".
- 2007929430 publisher "Berlin ; New York : Springer,".
- 2007929430 subject "005.1/4 22".
- 2007929430 subject "Computer software Verification Congresses.".
- 2007929430 subject "QA76.76.V47 I58 2007".
- 2007929430 subject "SPIN (Computer file) Congresses.".
- 2007929430 title "Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings / Dragan Bošnački, Stefan Edelkamp (eds.).".
- 2007929430 type "text".