Mathematics sof program construction
Jeuring, Johan
Mathematics sof program construction - Germany Springer-Verlag 1998 - Lecture notes in computer science .
3540645918
Mathematics sof program construction - Germany Springer-Verlag 1998 - Lecture notes in computer science .
3540645918