Umfang:
X, 292 S. : graph. Darst.
ISBN:
0-387-90299-6
,
3-540-90299-6
Serie:
Texts and monographs in computer science
Sprache:
Englisch
Fachgebiete:
Informatik
,
Wirtschaftswissenschaften
,
Komparatistik. Außereuropäische Sprachen/Literaturen
Schlagwort(e):
Programmierung
;
PASCAL
;
Programmverifikation
;
Strukturierte Programmierung
;
Top-down-Verfahren
Mehr zum Autor:
Arbib, Michael A. 1940-
Bookmarklink