Willkommen. Schön, sind Sie da!
Mein Ex Libris
DEFR
KontaktHilfeServiceÜber Ex LibrisFirmenkundschaftFilialen
0
Erweiterte Suche
BücherE-BooksFilmeMusikGamesPapeterieGeschenke & FunSpiele

Axiomatising the Logic of Computer Programming

R. Goldblatt
(0)
Erste Bewertung abgeben
Inhalt Conceptual background.- The logical structure of commands.- Assignments.- Appendix 1 Some related studies.- Function declar...

Tiefpreis

CHF29.90

Print on Demand - Exemplar wird für Sie besorgt.

Kartonierter Einband

Wird oft zusammen gekauft

Andere Kunden kauften auch

Beschreibung

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

Produktinformationen

Titel:
Axiomatising the Logic of Computer Programming
Untertitel:
Lecture Notes in Computer Science 130
Autor:
R. Goldblatt
EAN:
9783540112105
ISBN:
3540112103
Format:
Kartonierter Einband
Herausgeber:
Springer Berlin Heidelberg
Genre:
Informatik
Anzahl Seiten:
320
Gewicht:
487g
Größe:
H235mm x B155mm x T18mm
Jahr:
1982
Untertitel:
Englisch
Auflage:
1982

Mehr entdecken: IT & Informatik

Allgemein & Lexika, Anwendungs-Software, Informatik, Programmiersprachen