Verification of Sequential and Concurrent Programs by Krzysztof R. Apt (English)
118,09 €
By Krzysztof R. Apt, Amir Pnueli, Frank S. de Boer, Ernst-Rüdiger Olderog. Krzysztof R. Apt received his PhD in 1974 in mathematical logic from the University of Warsaw in Poland. He is a senior researcher at CWI, Amsterdam and Professor of Computer Science at the University of Amsterdam.
Jetzt bei Ebay:
