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

Powered by Koha