Theories of programming languages
Auteur :
Reynolds, John C.
Éditeur :
Cambridge University Press
ISBN :
9780521594141
Date de publication :
13 oct. 1998
Dimensions :
25,4 x 17,8 x 2,9 cm
Poids :
1100 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.