Axiomatising the Logic of Computer Programming
Conceptual background.- The logical structure of commands.- Assignments.- Appendix 1 Some related studies.- Function declarations.- Procedures.- Arrays.
CHF 34.90
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
- ISBN: 978-3-540-11210-5
- EAN: 9783540112105
- Produktnummer: 3256381
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 1982
- Seitenangabe: 320 S.
- Masse: H23.5 cm x B15.5 cm x D1.7 cm 487 g
- Auflage: 1982
- Abbildungen: Paperback
- Gewicht: 487
1 weiteres Werk von R. Goldblatt:
Bewertungen
Anmelden