Program Construction and Verification
"Backhouse, Roland C"
Program Construction and Verification - \\198600ENGGPS000 - Prentice Hall 1986 Englewood Cliffs - xi+281p
includes index and biblioraphy
137291531
Program Construction and Verification - \\198600ENGGPS000 - Prentice Hall 1986 Englewood Cliffs - xi+281p
includes index and biblioraphy
137291531