Theories of Programming Languages
John C. (Carnegie Mellon University, Pennsylvania) Reynolds
Cambridge University Press, 2009
102,50 €On orderDelivery: 2-3 weeks
First published in 1998, this textbook is a broad but rigourous survey of the theoretical basis for the design, definition and implementation of programming languages and of systems for specifying and proving program behaviour.
- ISBN-13
- 9780521106979
- ISBN-10
- 0521106974
- Publisher
- Cambridge University Press
- Year
- 2009
- Publication date
- 2009-04-02
- Pages
- 516
- Dimensions
- 245x172x30
- Weight
- 816