Articles liés à Axiomatising the Logic of Computer Programming

Axiomatising the Logic of Computer Programming - Couverture souple

Goldblatt, R.

 
9783540112105: Axiomatising the Logic of Computer Programming

Synopsis

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

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de la quatrième de couverture

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

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.