Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
La semantica formale dei linguaggi di programmazione : un' Introduzione / Glynn Winskel
| La semantica formale dei linguaggi di programmazione : un' Introduzione / Glynn Winskel |
| Autore | Winskel, Glynn |
| Pubbl/distr/stampa | Torino : Utet, c1999 |
| Descrizione fisica | xvii, 563 p. ; 24 cm |
| Disciplina | 005.131 |
| Soggetto non controllato |
Linguaggi di programmazione
Semantica formale |
| ISBN | 88-7750-648-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990001446390403321 |
Winskel, Glynn
|
||
| Torino : Utet, c1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The formal semantics of programming languages : an introduction / Glynn Winskel
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The formal semantics of programming languages : an introduction / Glynn Winskel
| The formal semantics of programming languages : an introduction / Glynn Winskel |
| Autore | Winskel, Glynn |
| Pubbl/distr/stampa | Cambridge (Mass.) ; London, : MIT press, c1993 |
| Descrizione fisica | XVIII, 361 p. ; 23 cm. |
| Disciplina |
005.13
005.131 |
| Collana | Foundations of computing series |
| Soggetto topico | Linguaggi di programmazione - Semantica |
| ISBN |
0262231697
0262731037 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-UBO0237725 |
|
Winskel, Glynn
|
||
| Cambridge (Mass.) ; London, : MIT press, c1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||