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

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

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

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

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...

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

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

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

A completely revised edition, offering new design recipes for interactive programs and support fo...