Verification of Sequential and Concurrent Programs (Texts & Monographs in Computer Science)
Apt, Krzysztof R.; Olderog, Ernst-Rudiger
Verkauft von ALLBOOKS1, Direk, SA, Australien
AbeBooks-Verkäufer seit 13. Dezember 2023
Neu - Hardcover
Zustand: Neu
Anzahl: 1 verfügbar
In den Warenkorb legen