Algebraic theory of processes / Matthew Hennessy
| Algebraic theory of processes / Matthew Hennessy |
| Autore | Hennessy, Matthew |
| Pubbl/distr/stampa | Cambridge (Mass.) ; London, : MIT Press, c1988 |
| Descrizione fisica | 272 p. ; 24 cm |
| Disciplina |
004.01
004.0151 |
| Collana | MIT press series in the foundations of computing |
| Soggetto topico |
Elaborazione elettronica
MATEMATICA - Applicazioni all'informatica |
| ISBN | 0262081717 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-MIL0047416 |
Hennessy, Matthew
|
||
| Cambridge (Mass.) ; London, : MIT Press, c1988 | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
The semantics of programming languages : an elementary introduction using structural operational semantics / Matthew Hennessy
| The semantics of programming languages : an elementary introduction using structural operational semantics / Matthew Hennessy |
| Autore | Hennessy, Matthew |
| Pubbl/distr/stampa | Chichester [etc.], : Wiley, c1990 |
| Descrizione fisica | XII, 157 p. ; 25 cm. |
| Disciplina | 005.13 |
| Soggetto topico | Elaboratori elettronici - Programmazione - Linguaggi |
| ISBN | 0471927724 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-UFI0158958 |
Hennessy, Matthew
|
||
| Chichester [etc.], : Wiley, c1990 | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||