What do you think?
Rate this book
Axiomatising the Logic of Computer Programming
Conceptual background.- The logical structure of commands.- Assignments.- Appendix 1 Some related studies.- Function declarations.- Procedures.- Arrays.
317 pages, Paperback
First published March 28, 1982
2 people want to read
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
No one has reviewed this book yet.