Format:
IX, 264 S.
Edition:
1. Aufl.
ISBN:
3-446-15056-0
,
0-13-729658-4
Uniform Title:
Program construction and verification
Language:
German
Subjects:
Computer Science
Keywords:
Programmierung
;
Programmverifikation
;
Softwareentwicklung
;
Programmverifikation
;
Lehrbuch
Author information:
Backhouse, Roland C. 1948-