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
Mathematics of program construction (e-book) - Berlin Springer 2006 - Lecture Notes in Computer Science (LNCS) v.4014 .
978-3-540-35632-5