Items related to Axiomatising the Logic of Computer Programming (Lecture...

Axiomatising the Logic of Computer Programming (Lecture Notes in Computer Science, 130) - Softcover

Goldblatt, R.

 
9783540112105: Axiomatising the Logic of Computer Programming (Lecture Notes in Computer Science, 130)

Synopsis

Conceptual background.- The logical structure of commands.- Assignments.- Appendix 1 Some related studies.- Function declarations.- Procedures.- Arrays.

"synopsis" may belong to another edition of this title.