Mathematics of program construction (e-book)
Jeuring, Johan
Mathematics of program construction (e-book) - Berlin Springer 1998 - Lecture Notes in Computer Science (LNCS) v.1422 .
978-3-540-69345-1
Mathematics of program construction (e-book) - Berlin Springer 1998 - Lecture Notes in Computer Science (LNCS) v.1422 .
978-3-540-69345-1