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
Mathematics of program construction (e-book) - Berlin Springer 2008 - Lecture Notes in Computer Science (LNCS) v.5133 .
978-3-540-70594-9