Foundations of algebraic specification and formal software development
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New York :
Springer ,
c2012
|
| Series: | Monographs in theoretical computer science
|
| Subjects: |
Table of Contents:
- 1. Universal algebra
- 2. simple equational specifications
- 3. Category theory
- 4. Working within an arbitrary logical system
- 5. Structured specifications
- 6. Parameterisation
- 7. Formal program development
- 8. Behavioural specifications
- 9. Proofs for specifications
- 10. Working with multiple logical systems