Program construction (e-book)
Bauer, F.L.
Program construction (e-book) - Berlin Springer 1979 - Lecture Notes in Computer Science (LNCS) v.69 .
978-3-540-35312-6
Program construction (e-book) - Berlin Springer 1979 - Lecture Notes in Computer Science (LNCS) v.69 .
978-3-540-35312-6