MOMENTAN AUSVERKAUFT

Verification of Sequential and Concurrent Programs von Frank S. de Boer, Ernst-Rüdiger Olderog und Krzysztof Apt (2010, Gebundene Ausgabe)