*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