Practical Foundations for Programming Languages
Inbunden, Engelska, 2016
Av Pennsylvania) Harper, Robert (Carnegie Mellon University, Robert Harper
1 179 kr
Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.This book defines and analyzes a full range of programming language concepts in a single unifying framework that isolates core abstractions and avoids irrelevant details of specific languages. It stresses the central role of types and teaches the use of rigorous mathematical techniques for proving properties of languages and programs.
Produktinformation
- Utgivningsdatum2016-04-04
- Mått262 x 188 x 33 mm
- Vikt1 156 g
- FormatInbunden
- SpråkEngelska
- Antal sidor512
- FörlagCambridge University Press
- ISBN9781107150300