00354nam a2200109Ia 4500008004100000020002200041041001200063100006100075245005500136260003200191650002100223231221s9999    xx            000 0 und d  a978-1-84882-745-5  aEnglish  aKrzysztof R. Apt, Frank S. Boer, Ernst-Rüdiger Olderog 0aVerification of Sequential and Concurrent Programs  c2009bSpringer USaNew York  aComputer Science