A calculus of communicating systems / Robin Milner
| A calculus of communicating systems / Robin Milner |
| Autore | MILNER, Robin |
| Pubbl/distr/stampa | Berlin : Springer Verlag, 1980 |
| Descrizione fisica | VI, 171 p. : ill. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Teoria delle macchine
Linguaggi formali |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000483000203316 |
MILNER, Robin
|
||
| Berlin : Springer Verlag, 1980 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Communication and concurrency / Robin Milner
| Communication and concurrency / Robin Milner |
| Autore | Milner, Robin <1934-2010 > |
| Pubbl/distr/stampa | New York [etc.], : Prentice Hall, 1989 |
| Descrizione fisica | XI, 260 p. ; 24 cm. |
| Disciplina | 511.3 |
| Collana | Prentice-Hall international series in computer science |
| Soggetto topico | Linguaggi formali |
| ISBN |
0131149849
0131150073 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10003412 |
Milner, Robin <1934-2010 >
|
||
| New York [etc.], : Prentice Hall, 1989 | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Visual language theory / Kim Marriott, Bernard Meyer, editors
| Visual language theory / Kim Marriott, Bernard Meyer, editors |
| Autore | Marriott, Kim |
| Pubbl/distr/stampa | New York [etc.], : Springer, ©1998 |
| Descrizione fisica | XI, 381 p. ; 24 cm |
| Disciplina | 302.23 |
| Altri autori (Persone) | Meyer, Bernd <1965- > |
| Soggetto topico |
Comunicazione di massa - Linguaggio
Linguaggi formali |
| ISBN | 0387983678 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-RMS1250802 |
Marriott, Kim
|
||
| New York [etc.], : Springer, ©1998 | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||