Verification of Sequential and Concurrent Programs (Texts & Monographs in Computer Science)
Apt, Krzysztof R.; Olderog, Ernst-Rudiger
Verkauft von HPB-Red, Dallas, TX, USA
AbeBooks-Verkäufer seit 11. März 2019
Gebraucht - Hardcover
Zustand: Gebraucht - Befriedigend
Anzahl: 1 verfügbar
In den Warenkorb legen