The foundations of program verification. and Kurt Sieber. In collab. with Ryan D. Stansifer, Wiley-Teubner series in computer science
Loeckx, Jacques:
Verkauft von NEPO UG, Rüsselsheim am Main, Deutschland
AbeBooks-Verkäufer seit 15. November 2018
Gebraucht
Zustand: Gebraucht - Gut
Anzahl: 1 verfügbar
In den Warenkorb legen