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.
A Calculus of Communicating Systems / Robin Milner
| A Calculus of Communicating Systems / Robin Milner |
| Autore | Milner, Robin |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1980 |
| Disciplina | 510.78 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
Teoria della programmazione e utilizzazione dei computers
Software |
| ISBN | 3-540-10235-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001022410403321 |
Milner, Robin
|
||
| Berlin [etc.] : Springer-Verlag, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Communication and concurrency / Robin Milner ; foreword by C.A.R. Hoare
| Communication and concurrency / Robin Milner ; foreword by C.A.R. Hoare |
| Autore | Milner, Robin |
| Pubbl/distr/stampa | Harlow (U.K.) : Pearson Education, Prentice Hall, c1989 |
| Descrizione fisica | xi, 260 p. : ill. ; 23 cm |
| Disciplina | 005.4'2 |
| Collana | Prentice-Hall international series in computer science |
| Soggetto non controllato |
Programmazione
Programmi di sistema Sistemi operativi |
| ISBN | 0-13-115007-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001492280403321 |
|
Milner, Robin
|
||
| Harlow (U.K.) : Pearson Education, Prentice Hall, c1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Communication and concurrency / Robin Milner
| Communication and concurrency / Robin Milner |
| Autore | Milner, Robin |
| Pubbl/distr/stampa | New York [etc.] : Prentice Hall, copyr. 1989 |
| Descrizione fisica | XI, 260 p. : ill. ; 23 cm |
| Disciplina | 00542 |
| Collana | Prentice Hall international seriesin computer science |
| Soggetto non controllato | elaboratori elettronici sistemi operativ |
| ISBN | 0-13-115007-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000124660203316 |
|
Milner, Robin
|
||
| New York [etc.] : Prentice Hall, copyr. 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Communication and concurrency / Robin Milner
| Communication and concurrency / Robin Milner |
| Autore | Milner, Robin |
| Pubbl/distr/stampa | New York [etc.] : Prentice Hall, copyr. 1989 |
| Descrizione fisica | XI, 260 p. : ill. ; 23 cm |
| Disciplina | 00542 |
| Collana | Prentice Hall international seriesin computer science |
| Soggetto non controllato | elaboratori elettronici - sistemi operativi - programmazione |
| ISBN | 0-13-115007-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000228160203316 |
|
Milner, Robin
|
||
| New York [etc.] : Prentice Hall, copyr. 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The definition of standard ML / Robin Milner, Mads Tofte and Robert Harper
| The definition of standard ML / Robin Milner, Mads Tofte and Robert Harper |
| Autore | Milner, Robin |
| Pubbl/distr/stampa | Cambridge [etc.] : MIT Press, copyr. 1990 |
| Descrizione fisica | XI, 101 p. : ill. ; 23 cm |
| Disciplina | 005133 |
| Soggetto non controllato | linguaggio ml |
| ISBN | 0-262-13255-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000248360203316 |
|
Milner, Robin
|
||
| Cambridge [etc.] : MIT Press, copyr. 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||