Login

Bradley, Aaron R.

The Calculus of Computation

Bradley, Aaron R. - The Calculus of Computation, ebook

43,40€

Ebook, PDF with Adobe DRM
ISBN: 9783540741138
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

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

Keywords: COMPUTERS / Computer Science COM014000

Author(s)
 
Publisher
Springer
Publication year
2007
Language
en
Edition
1
Category
Information Technology, Telecommunications
Format
Ebook
eISBN (PDF)
9783540741138

Similar titles