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 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Sannio | ||
|
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 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Sannio | ||
|