Format:
292 S.
Edition:
2., corr. print.
ISBN:
0387902996
,
3540902996
Series Statement:
Texts and monographs in computer science
Language:
English
Subjects:
Computer Science
Keywords:
Programmierung
;
Programmverifikation
;
Strukturierte Programmierung
Author information:
Arbib, Michael A. 1940-
Bookmarklink