Bradley, Aaron R.
The Calculus of Computation
Part I. Foundations
1. Propositional Logic
2. First-Order Logic
3. First-Order Theories
4. Induction
5. Program Correctness: Mechanics
6. Program Correctness: Strategies
Part II. Algorithmic Reasoning
7. Quantified Linear Arithmetic
8. Quantifier-Free Linear Arithmetic
9. Quantifier-Free Equality and Data Structures
10. Combining Decision Procedures
11. Arrays
12. Invariant Generation
13. Further Reading
DRM-restrictions
Printing: not available
Clipboard copying: not available
Nyckelord: COMPUTERS / Computer Science COM014000
- Författare
- Bradley, Aaron R.
- Manna, Zohar
- Utgivare
- Springer
- Utgivningsår
- 2007
- Språk
- en
- Utgåva
- 1
- Kategori
- Datateknik, Datakommunikation
- Format
- E-bok
- eISBN (PDF)
- 9783540741138