
*A state-of-the-art survey and tutorial for key new topics in programming methodology written by leading international computer scientists and programmers *Essential guide to modern software theory and practice for programmers, developers, computer scientists, and software engineers...

The second half of the twentieth century saw an astonishing increase in computing power; today computers are unbelievably faster than they used to be, they have more memory, they can communicate routinely with remote machines all over the world - and they can fit on a desktop...