Mathematics of program construction (e-book)

Uustalu, Tarmo

Mathematics of program construction (e-book) - Berlin Springer 2006 - Lecture Notes in Computer Science (LNCS) v.4014 .

978-3-540-35632-5

Powered by Koha