Verification of Sequential and Concurrent Programs Krzysztof R. Apt, Apt / Ernst-Rudiger Olderog, Olderog Keine Beschreibung. CHF 65.00 In Warenkorb legen