Website Search
Find information on spaces, staff, and services.
Catalog Search
Books
The calculus of computation : decision procedures with applications to verification
- Author / Creator
- Available as
- Physical
Details
Checking for availability...
- Creator
- Aaron R. Bradley, Zohar Manna
- Format
- Books
- Language
- English
- Contributors
- Publication
-
- Berlin ; New York : Springer, [2007]
- ©2007
- Physical Details
-
- xv, 366 pages : illustrations ; 25 cm
- ISBNs
- 9783540741121, 3540741127, 1281355267, 3642093477, 3540741135, 9786611355265
- OCLC
- ocn213094886, ocn190764844
- Includes bibliographical references (pages [351]-355) and index.