Matches in Library of Congress for { <http://lccn.loc.gov/2006926215> ?p ?o. }
Showing items 1 to 26 of
26
with 100 items per page.
- 2006926215 contributor B10737959.
- 2006926215 contributor B10737960.
- 2006926215 created "c2006.".
- 2006926215 date "2006".
- 2006926215 date "c2006.".
- 2006926215 dateCopyrighted "c2006.".
- 2006926215 description "Includes bibliographical references (p. 156-169) and index.".
- 2006926215 extent "xiv, 179 p. :".
- 2006926215 identifier "0387341552".
- 2006926215 identifier "0387346007 (e-book)".
- 2006926215 identifier "9780387341552".
- 2006926215 identifier "9780387346007 (e-book)".
- 2006926215 identifier 2006926215-d.html.
- 2006926215 identifier 2006926215-t.html.
- 2006926215 isPartOf "Series on integrated circuits and systems".
- 2006926215 issued "2006".
- 2006926215 issued "c2006.".
- 2006926215 language "eng".
- 2006926215 publisher "New York, N.Y. : Springer,".
- 2006926215 subject "004.2/1 22".
- 2006926215 subject "Computer systems Verification Mathematical models.".
- 2006926215 subject "Electronic systems Verification Mathematical models.".
- 2006926215 subject "Integrated circuits Verification Mathematical models.".
- 2006926215 subject "QA76.76.V47 W36 2006".
- 2006926215 title "Abstraction refinement for large scale model checking / Chao Wang, Gary D. Hachtel, Fabio Somenzi.".
- 2006926215 type "text".