*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