Search for persons
X
?
1
Special issue on mathematics of program construction (MPC 2..
Science of computer programming ; 43.2002,2/3
Copies:
Zentrale:Magazin Zs fe 4456-43
?
2
Program construction and verification
Prentice-Hall international series in computer science
Copies:
Zentrale:Magazin 03.f.2445
1-2