Axiomatising the Logic of Computer Programming
(Sprache: Englisch)
Conceptual background.- The logical structure of commands.- Assignments.- Appendix 1 Some related studies.- Function declarations.- Procedures.- Arrays.
Leider schon ausverkauft
versandkostenfrei
Buch
24.60 €
Produktdetails
Produktinformationen zu „Axiomatising the Logic of Computer Programming “
Klappentext zu „Axiomatising the Logic of Computer Programming “
Conceptual background.- The logical structure of commands.- Assignments.- Appendix 1 Some related studies.- Function declarations.- Procedures.- Arrays.
Inhaltsverzeichnis zu „Axiomatising the Logic of Computer Programming “
Conceptual background.- The logical structure of commands.- Assignments.- Appendix 1 Some related studies.- Function declarations.- Procedures.- Arrays.
Bibliographische Angaben
- Autor: R. Goldblatt
- 1982, 320 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3540112103
- ISBN-13: 9783540112105
- Erscheinungsdatum: 01.03.1982
Sprache:
Englisch
Kommentar zu "Axiomatising the Logic of Computer Programming"
0 Gebrauchte Artikel zu „Axiomatising the Logic of Computer Programming“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Axiomatising the Logic of Computer Programming".
Kommentar verfassen