Main image
Click to view image in fullscreen
![]()
Theories of Programming Languages
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.
680,00 DH
Sur commande
| ISBN / EAN | 9780521106979 |
|---|---|
| Auteur | Reynolds, John C. (Carnegie Mellon University, Pennsylvania) |
| Editeur | Cambridge University Press |