The notion that 'thinking about computing is one of the most exciting things the human mind can d...

An introduction to writing proofs about computer programs, written in an accessible question-and-...

Java is a new object-oriented programming language that was developed by Sun Microsystems for pro...

This book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESO...

The first comprehensive presentation of reduction semantics in one volume, and the first tool set...

This introduction to programming places computer science in the core of a liberal arts education....

The notion that "e;thinking about computing is one of the most exciting things the human mind...

This book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESO...

The notion that 'thinking about computing is one of the most exciting things the human mind can d...