Matches in Library of Congress for { <http://lccn.loc.gov/2010927798> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 2010927798 contributor B12089544.
- 2010927798 created "c2010.".
- 2010927798 date "2010".
- 2010927798 date "c2010.".
- 2010927798 dateCopyrighted "c2010.".
- 2010927798 description "Includes bibliographical references and index.".
- 2010927798 extent "xiv, 243 p. :".
- 2010927798 identifier "1441959971 (hbk.)".
- 2010927798 identifier "9781441959973 (hbk.)".
- 2010927798 issued "2010".
- 2010927798 issued "c2010.".
- 2010927798 language "eng".
- 2010927798 publisher "New York : Springer,".
- 2010927798 subject "004.151 22".
- 2010927798 subject "Automatic theorem proving.".
- 2010927798 subject "Computer systems Verification.".
- 2010927798 subject "Formal methods (Computer science)".
- 2010927798 subject "QA76.76.V47 R39 2010".
- 2010927798 title "Scalable techniques for formal verification / Sandip Ray.".
- 2010927798 type "text".