Ebook: Axiomatising the Logic of Computer Programming
Author: Robert Goldblatt (auth.)
- Tags: Logics and Meanings of Programs
- Series: Lecture Notes in Computer Science 130
- Year: 1982
- Publisher: Springer-Verlag Berlin Heidelberg
- Edition: 1
- Language: English
- pdf
Content:
Front Matter....Pages -
Conceptual background....Pages 1-35
The logical structure of commands....Pages 36-107
Assignments....Pages 108-182
Appendix 1 Some related studies....Pages 183-204
Function declarations....Pages 205-237
Procedures....Pages 238-250
Arrays....Pages 251-282
Back Matter....Pages -
Content:
Front Matter....Pages -
Conceptual background....Pages 1-35
The logical structure of commands....Pages 36-107
Assignments....Pages 108-182
Appendix 1 Some related studies....Pages 183-204
Function declarations....Pages 205-237
Procedures....Pages 238-250
Arrays....Pages 251-282
Back Matter....Pages -
....
Download the book Axiomatising the Logic of Computer Programming for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)