Theories of programming languages
Auteur :
Reynolds, John C.
Éditeur :
Cambridge University Press
ISBN :
9780521106979
Date de publication :
2 avr. 2009
Dimensions :
24,4 x 17,0 x 2,6 cm
Poids :
810 g
Format :
Trade paperback (US)
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.