9780521346320 - logic and computation: interactive proof with cambridge lcf (cambridge tracts in theoretical computer science, band 2) von paulson, lawrence c. (2 Ergebnisse)
Sprache: Englisch
Verlag: Cambridge University Press, 1987
Serie: Cambridge Tracts in Theoretical Computer Science, Buch 3 von 40. Buch 3 von 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Anbieter: Anybook.com, Lincoln, Vereinigtes KönigreichAnybook.com
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Ausreichend
EUR 57,64
EUR 15,87 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. Clean from markings. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,900grams, ISBN:…9780521346320.
Sprache: Englisch
Verlag: Cambridge University Press, 1987
Serie: Cambridge Tracts in Theoretical Computer Science, Buch 3 von 40. Buch 3 von 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Anbieter: Anybook.com, Lincoln, Vereinigtes KönigreichAnybook.com
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Ausreichend
EUR 87,59
EUR 36,65 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,900grams, ISBN:9780521346320.
