Semantics Engineering with PLT Redex
The first comprehensive presentation of reduction semantics in one volume, and the first tool set for such forms of semantics.
CHF 14.50
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V105:
Folgt in ca. 15 Arbeitstagen
Produktdetails
Weitere Autoren: Findler, Robert Bruce (Associate Professor of Computer Science, Northwestern University) / Flatt, Matthew (Professor, University Of Utah)
- ISBN: 978-0-262-06275-6
- EAN: 9780262062756
- Produktnummer: 4728936
- Verlag: MIT Press Ltd
- Sprache: Englisch
- Erscheinungsjahr: 2009
- Seitenangabe: 520 S.
- Masse: H18.7 cm x B23.7 cm x D2.9 cm 982 g
- Abbildungen: 36 figures; 36 Illustrations, unspecified
- Gewicht: 982
- Sonstiges: Professional & Vocational
Über den Autor
Matthias Felleisen is Trustee Professor of Computer Science at Northeastern University, recipient of the Karl V. Karlstrom Outstanding Educator Award, and co-author (with Daniel Friedman) of The Little Schemer and three other Little books published by the MIT Press. Robert Bruce Findler is Assistant Professor of Electrical Engineering and Computer Science at Northwestern University. Matthew Flatt is Associate Professor in the School of Computing at the University of Utah.
2 weitere Werke von Felleisen, Matthias (Trustee Professor, Northeastern University):
Bewertungen
Anmelden