Kourie, Derrick G.
The Correctness-by-Construction Approach to Programming
1. Introduction
Derrick G. Kourie, Bruce W. Watson
2. Background
Derrick G. Kourie, Bruce W. Watson
3. Simple Examples
Derrick G. Kourie, Bruce W. Watson
4. Intermediary Examples
Derrick G. Kourie, Bruce W. Watson
5. Procedures and Recursion
Derrick G. Kourie, Bruce W. Watson
6. Case Study: Lattice Cover Graph Construction
Derrick G. Kourie, Bruce W. Watson
7. Case Study 2: Classifying MADFA Construction Algorithms
Derrick G. Kourie, Bruce W. Watson
Avainsanat: Computer Science, Software Engineering, Logics and Meanings of Programs, Mathematical Logic and Formal Languages
- Tekijä(t)
- Kourie, Derrick G.
- Watson, Bruce W.
- Julkaisija
- Springer
- Julkaisuvuosi
- 2012
- Kieli
- en
- Painos
- 2012
- Sivumäärä
- 13 sivua
- Kategoria
- Tietotekniikka, tietoliikenne
- Tiedostomuoto
- E-kirja
- eISBN (PDF)
- 9783642279195