Mathematics of program construction (e-book)
Moller, Bernhard
Mathematics of program construction (e-book) - Berlin Springer 1995 - Lecture Notes in Computer Science (LNCS) v.947 .
978-3-540-49445-4
Mathematics of program construction (e-book) - Berlin Springer 1995 - Lecture Notes in Computer Science (LNCS) v.947 .
978-3-540-49445-4