VU Boekhandel

Hoofdkenmerken

Auteur:	Reynolds, John C.
Titel:	Theories of Programming Languages
Uitgever:	Cambridge University Press
ISBN:	9780521594141
ISBN boekversie:	9781139930550
Land van oorsprong:	United Kingdom
Prijs:	€ 104,30
Verschijningsdatum:	13-10-1998
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Categorie:	Mathematical theory of computation
Dewey code:	005.13

Technische kenmerken

Verschijningsvorm:	Hardback
Paginas:	514
Hoogte mm.:	189
Breedte mm.:	264
Dikte mm.:	34
Gewicht gr.:	1096

Inhoud:

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.