Tag program verification
Tagged Works
1
1
1
1
1
1
1
1
- Program Derivation: The Development of Programs from Specifications (International Computer Science Series) by Geoff Dromey
- First Course in Computability (Computer Science Texts) by V.J. Rayward-Smith
- Program verification using Ada by Andrew D. McGettrick
- Program Construction and Verification by Roland C. Backhouse
- A Method of Programming by Edsger W. Dijkstra
- Mathematical Structures for Computer Science by Judith L. Gersting
- The Science of Programming by David Gries
- A Discipline of Programming by Edsger W. Dijkstra
Using the Tag
anchr (3), cubeshelves (1), bertilak (1), mdransfield (1), drjwsimmons (1), index.html (1)
Aliases and Translations
Includes: program verification, Program verification