Format:
IX, 264 S.
,
graph. Darst
ISBN:
3446150560
,
0137296584
Uniform Title:
Program construction and verification 〈dt.〉
Note:
Übers. aus dem Amerikan
Language:
German
Subjects:
Computer Science
Keywords:
Programmierung
;
Programmverifikation
;
Programmierung
;
Programmverifikation
;
Softwareentwicklung
;
Programmverifikation
Author information:
Backhouse, Roland C. 1948-