1189:-
Uppskattad leveranstid 5-10 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
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.
- Format: Inbunden
- ISBN: 9781107150300
- Språk: Engelska
- Antal sidor: 512
- Utgivningsdatum: 2016-04-04
- Förlag: Cambridge University Press