Matches in Library of Congress for { <http://lccn.loc.gov/2007941384> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 2007941384 contributor B11068951.
- 2007941384 created "c2008.".
- 2007941384 date "2008".
- 2007941384 date "c2008.".
- 2007941384 dateCopyrighted "c2008.".
- 2007941384 description "Includes bibliographical references (p. [209]-210) and index.".
- 2007941384 extent "xv, 216 p. :".
- 2007941384 identifier "1846287693 (pbk.)".
- 2007941384 identifier "1846287707 (ebook)".
- 2007941384 identifier "9781846287695 (pbk.)".
- 2007941384 identifier "9781846287701 (ebook)".
- 2007941384 identifier 2007941384-d.html.
- 2007941384 identifier 2007941384-t.html.
- 2007941384 issued "2008".
- 2007941384 issued "c2008.".
- 2007941384 language "eng".
- 2007941384 publisher "London : Springer,".
- 2007941384 subject "005.14 22".
- 2007941384 subject "Computer software Verification.".
- 2007941384 subject "QA76.76.V47 B46 2008".
- 2007941384 subject "SPIN (Computer file)".
- 2007941384 title "Principles of the Spin model checker / Mordechai Ben-Ari.".
- 2007941384 type "text".