Specifying software : a hands-on introduction /
Saved in:
| Hovedforfatter: | |
|---|---|
| Format: | Bog |
| Sprog: | English |
| Udgivet: |
New York :
Cambridge University Press,
2002.
|
| Fag: | |
| Online adgang: | Publisher description Table of contents |
Indholdsfortegnelse:
- 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.