Format:
IX, 264 S.
ISBN:
3-446-15056-0
,
0-13-729658-4
Uniform Title:
Programm construction and verification
Note:
Aus d. Engl. übers.
Language:
German
Subjects:
Computer Science
Keywords:
Programmierung
;
Programmverifikation
;
Softwareentwicklung
;
Programmverifikation
;
Lehrbuch
Author information:
Backhouse, Roland C., 1948-