Axiomatising the Logic of Computer Programming
1 ratings
0 reviews
Conceptual background.- The logical structure of commands.- Assignments.- Appendix 1 Some related studies.- Function declarations.- Procedures.- Arrays.
Genres:
317 Pages
Community Reviews:
5 star
0 (0%)
4 star
0 (0%)
3 star
0 (0%)
2 star
1 (100%)
1 star
0 (0%)
