Kourie, Derrick G.
The Correctness-by-Construction Approach to Programming
Table of contents
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
Nyckelord: Computer Science, Software Engineering, Logics and Meanings of Programs, Mathematical Logic and Formal Languages
- Författare
- Kourie, Derrick G.
- Watson, Bruce W.
- Utgivare
- Springer
- Utgivningsår
- 2012
- Språk
- en
- Utgåva
- 2012
- Sidantal
- 13 sidor
- Kategori
- Datateknik, Datakommunikation
- Format
- E-bok
- eISBN (PDF)
- 9783642279195
