Specifying software : a hands-on introduction /
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New York :
Cambridge University Press,
2002.
|
| Subjects: | |
| Online Access: | Publisher description Table of contents |
Table of Contents:
- A. Algorithms
- 1. Specifying Algorithms
- 2. Verifying Algorithms: Basic Techniques
- 3. Verifying Algorithms: Some Examples
- 4. Additional Verification Techniques
- B. Data Representations
- 5. Data Representation: A Case Study
- 6. Data Representation: Additional Examples
- C. Language Recognizers
- 7. Basic Concepts
- 8. State-Transition Diagrams
- 9. Regular Languages
- 10. Context-Free Languages
- 11. Parsing
- D. Unimplementable Specifications
- 12. A Taste of Computability Theory
- App. A. Programming Language Reference.