Semantics and Logics of Computation
Summer school lecture courses on modern logic and computation are presented here.
CHF 68.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Dybjer, Peter (Hrsg.) / Pitts, Andrew M. (Hrsg.)
- ISBN: 978-0-521-11846-0
- EAN: 9780521118460
- Produktnummer: 4995313
- Verlag: Cambridge University Press
- Sprache: Englisch
- Erscheinungsjahr: 2009
- Seitenangabe: 376 S.
- Masse: H22.9 cm x B15.2 cm x D2.2 cm 577 g
- Abbildungen: Paperback
- Gewicht: 577
Über den Autor
Andrew Pitts FACM FBCS is Professor of Theoretical Computer Science at the University of Cambridge and a Fellow of Darwin College.
4 weitere Werke von P. (Hrsg.) Dybjer:
Bewertungen
Anmelden