ISBN 184882744X books & textbook
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Apt, Krzysztof R. de Boer, Frank S. Olderog, Ernst-Rüdiger Pnueli, Amir
Springer /2009-10-05 Hardcover / 526 Pages
isbn-10: 184882744X / isbn-13: 9781848827448
