The Foundations of Program Verification (Series in Computer Science)
Loeckx, Jacques, Kurt Sieber und Ryan Stansifer:
Verkauft von Antiquariat Jochen Mohr -Books and Mohr-, Oberthal, Deutschland
AbeBooks-Verkäufer seit 1. März 2019
Gebraucht - Hardcover
Zustand: Gebraucht - Sehr gut
Anzahl: 1 verfügbar
In den Warenkorb legen