New book "Verification of Sequential and Concurrent Programs" by Krzysztof R. Apt, Frank S. de Boer and Ernst-Rüdiger Olderog

The book 'Verification of Sequential and Concurrent Programs' (Third
Edition) by Krzysztof R. Apt, Frank S. de Boer and Ernst-Rüdiger
Olderog appeared with Springer in October 2009. The foreword was
written by Amir Pnueli and the drawings were made by Krzysztof's
daughter, Alma Apt

For more information, see http://www.springer.com/computer/foundations/book/978-1-84882-744-8