Logic and Computation
Interactive Proof with Cambridge Lcf
CHF 99.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Abramsky, Samson (Hrsg.) / Rijsbergen, C. J. van (Hrsg.)
- ISBN: 978-0-521-39560-1
- EAN: 9780521395601
- Produktnummer: 9822596
- Verlag: Cambridge University Press
- Sprache: Englisch
- Erscheinungsjahr: 2003
- Seitenangabe: 320 S.
- Masse: H24.6 cm x B18.9 cm x D1.7 cm 622 g
- Abbildungen: Paperback
- Gewicht: 622
6 weitere Werke von Lawrence C. Paulson:
Bewertungen
Anmelden