Matches in Library of Congress for { <http://lccn.loc.gov/2007932679> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 2007932679 contributor B11062953.
- 2007932679 contributor B11062954.
- 2007932679 created "2007".
- 2007932679 date "2007".
- 2007932679 dateCopyrighted "2007".
- 2007932679 description "Includes bibliographical references (p.[351]-355) and index.".
- 2007932679 extent "xv, 366 p. :".
- 2007932679 identifier "3540741127".
- 2007932679 identifier "9783540741121".
- 2007932679 identifier 2007932679-d.html.
- 2007932679 identifier 2007932679.html.
- 2007932679 issued "2007".
- 2007932679 language "eng".
- 2007932679 publisher "Berlin : Springer,".
- 2007932679 subject "Computer logic.".
- 2007932679 subject "Computer programs Verification.".
- 2007932679 subject "QA76.9.L63 B73 2007".
- 2007932679 title "Calculus of computation : decision procedures with applications to verification / Aaron R. Bradley, Zohar Manna..".
- 2007932679 type "text".