The Science of Programming
This is the very first book to discuss the theory and principles of computer programming on the basis of the idea that a proof of correctness and a program s... »

A Logical Approach to Discrete Math
Logical Approach to Discrete Math »

Programlive Workbook And Cd [with Cdrom]
 »

Multimedia Introduction To Programming Using Java [with Cd-rom]
Multimedia Introduction to Programming Using Java »

Beauty Is Our Business
A Birthday Salute to Edsger W. Dijkstra »