Program Logics for Certified Compilers

Andrew W. Appel, Robert Dockins, Aquinas Hobor, Lennart Beringer, Josiah Dodds, Gordon Stewart, Sandrine Blazy, Xavier Leroy

ISBN 10: 110704801X ISBN 13: 9781107048010
Verlag: Cambridge University Press 21/04/2014, 2014
Sprache: Englisch
Zustand: Gebraucht - Gut Hardcover

Verkauft von Bahamut Media, Reading, Vereinigtes Königreich

AbeBooks-Verkäufer seit 15. August 2012

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Alle Artikel dieses Verkäufers anzeigen


Gebraucht - Hardcover

Zustand: Gebraucht - Gut

Preis:
EUR 11,86
EUR 8,05 Versand
Versand von Vereinigtes Königreich nach USA

Anzahl: 12 verfügbar

In den Warenkorb legen