Artículos relacionados a Axiomatising the Logic of Computer Programming: 130...

Axiomatising the Logic of Computer Programming: 130 (Lecture Notes in Computer Science, 130) - Tapa blanda

Goldblatt, R.

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

Sinopsis

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

"Sinopsis" puede pertenecer a otra edición de este libro.

De la contraportada

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

"Sobre este título" puede pertenecer a otra edición de este libro.