Matches in Library of Congress for { <http://lccn.loc.gov/2007037603> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 2007037603 contributor B10794061.
- 2007037603 contributor B10794062.
- 2007037603 created "[2008?]".
- 2007037603 date "2008".
- 2007037603 date "[2008?]".
- 2007037603 dateCopyrighted "[2008?]".
- 2007037603 description "Includes bibliographical references (p. 931-964) and index.".
- 2007037603 extent "xvii, 975 p. :".
- 2007037603 identifier "026202649X (hardcover : alk. paper)".
- 2007037603 identifier "9780262026499 (hardcover : alk. paper)".
- 2007037603 identifier 2007037603.html.
- 2007037603 issued "2008".
- 2007037603 issued "[2008?]".
- 2007037603 language "eng".
- 2007037603 publisher "Cambridge, Mass. : The MIT Press,".
- 2007037603 subject "004.2/4 22".
- 2007037603 subject "Computer software Verification.".
- 2007037603 subject "Computer systems Verification.".
- 2007037603 subject "QA76.76.V47 B35 2008".
- 2007037603 title "Principles of model checking / Christel Baier, Joost-Pieter Katoen.".
- 2007037603 type "text".