Bestellen Terug

Hoofdkenmerken

Auteur:	Harper, Robert
Titel:	Practical Foundations for Programming Languages
Uitgever:	Cambridge University Press
ISBN:	9781107150300
ISBN boekversie:	9781316655733
Editie:	2 Revised edition
Land van oorsprong:	United Kingdom
Prijs:	€ 98.34
Verschijningsdatum:	04-04-2016
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Categorie:

Programming & scripting languages: general

Technische kenmerken

Verschijningsvorm:	Hardback
Paginas:	512
Hoogte mm.:	188
Breedte mm.:	262
Dikte mm.:	33
Gewicht gr.:	1156

 

Inhoud:

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.