Axiomatising the Logic of Computer Programming
R. Goldblatt
Broschiertes Buch

Axiomatising the Logic of Computer Programming

Versandkostenfrei!
Versandfertig in 1-2 Wochen
18,99 €
inkl. MwSt.
PAYBACK Punkte
9 °P sammeln!
Conceptual background.- The logical structure of commands.- Assignments.- Appendix 1 Some related studies.- Function declarations.- Procedures.- Arrays.