Mathematics of program construction (e-book)
Kozen, Dexter
Mathematics of program construction (e-book) - Berlin Springer 2004 - Lecture Notes in Computer Science (LNCS) v.3125 .
978-3-540-27764-4
Mathematics of program construction (e-book) - Berlin Springer 2004 - Lecture Notes in Computer Science (LNCS) v.3125 .
978-3-540-27764-4