The formal semantics of programming languages : an introduction / Glynn Winskel |
Autore | Winskel, Glynn |
Edizione | [3rd printing 1996] |
Pubbl/distr/stampa | Cambridge : The MIT Press, 1993 |
Descrizione fisica | XVIII, 361 p. ; 23 cm |
Disciplina |
510.78
418.0285 |
Collana | Foundations of computing |
Soggetto non controllato |
Linguaggi di programmazione - Semantica
Software |
ISBN | 0-262-23169-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001358290403321 |
Winskel, Glynn
![]() |
||
Cambridge : The MIT Press, 1993 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|