Title: Mathematics of program construction
First published: 2006
Subjects: Congresses, Computer programming, Computer science, Mathematics
LC classification: QA76.6 .M6926 2006, QA76.6 .M6926 2006