The Calculus of Computation
E260370
The Calculus of Computation is a textbook that introduces the mathematical foundations of verification, focusing on logic-based methods for specifying and proving properties of computational systems.
All labels observed (1)
| Label | Occurrences |
|---|---|
| The Calculus of Computation canonical | 2 |
Statements (45)
| Predicate | Object |
|---|---|
| instanceOf |
computer science book
ⓘ
non-fiction book ⓘ textbook ⓘ |
| aimsTo |
bridge theory and practice in formal verification
ⓘ
provide a rigorous foundation for verification techniques ⓘ |
| coversTopic |
decision procedures
ⓘ
first-order logic ⓘ model checking ⓘ propositional logic ⓘ satisfiability ⓘ temporal logic ⓘ theorem proving ⓘ verification of hardware systems ⓘ verification of software systems ⓘ |
| focusesOn |
logic-based methods for proving properties of computational systems
ⓘ
logic-based methods for specifying properties of computational systems ⓘ mathematical foundations of verification ⓘ |
| hasAuthor |
Aaron R. Bradley
ⓘ
Zohar Manna ⓘ |
| hasCountryOfPublication |
United States of America
ⓘ
surface form:
United States
|
| hasEdition | first edition ⓘ |
| hasField |
computer science
ⓘ
formal methods ⓘ mathematical logic ⓘ program verification ⓘ |
| hasFormat |
eBook
ⓘ
hardcover ⓘ |
| hasISBN | 978-3-540-74112-0 ⓘ |
| hasLanguage | English ⓘ |
| hasPageCount | approximately 400 pages ⓘ |
| hasPublicationYear | 2007 ⓘ |
| hasPublisher | Springer ⓘ |
| hasSubject |
decision procedures
ⓘ
logic in computer science ⓘ verification ⓘ |
| hasSubtitle | Decision Procedures with Applications to Verification ⓘ |
| hasTitle | The Calculus of Computation self-link ⓘ |
| intendedFor |
advanced undergraduate students
ⓘ
graduate students ⓘ practitioners of program verification ⓘ researchers in formal methods ⓘ |
| partOfSeries | Texts in Computer Science ⓘ |
| usesMethod |
automated reasoning techniques
ⓘ
logic-based specification ⓘ proof systems ⓘ |
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.