Mathematics of program construction (e-book)

Audebaud, Philippe

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

978-3-540-70594-9

Powered by Koha