Axiomatising the Logic of Computer Programming (Lecture Notes in Computer Science, 130)
Description:
Conceptual background.- The logical structure of commands.- Assignments.- Appendix 1 Some related studies.- Function declarations.- Procedures.- Arrays.
We're an Amazon Associate. We earn from qualifying purchases at Amazon and all stores listed here.