Title: Mathematics of program construction
First published: 1998
Subjects: Congresses, Computer programming, Computer science, Mathematics, Electronic digital computers, programming, Computer science, mathematics
LC classification: QA76.6 .I5535 1998