VU Boekhandel

Hoofdkenmerken

Auteur:	Mitchell, John C.
Titel:	Foundations for Programming Languages
Uitgever:	MIT Press Ltd
ISBN:	9780262133210
Serie:	Foundations of Computing
Land van oorsprong:	United States
Prijs:	€ 10.63
Verschijningsdatum:	29-08-1996
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Leesniveau:	Undergraduate
Categorie:	Programming & scripting languages: general
Dewey code:	005.13

Technische kenmerken

Verschijningsvorm:	Hardback
Paginas:	868
Hoogte mm.:	227
Breedte mm.:	185
Dikte mm.:	45
Gewicht gr.:	1496

Inhoud:

This volume uses a series of typed lambda calculi to study the axiomatic, operational, and denotational semantics of sequential programming languages. Later chapters are devoted to progressively more sophisticated type systems.