Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Please note that this newsitem has been archived, and may contain outdated information or links.