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 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal systems specification : the RPC-memory specification case study / Manfred Broy ... [et al.] (eds.)
| Formal systems specification : the RPC-memory specification case study / Manfred Broy ... [et al.] (eds.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1996 |
| Descrizione fisica | VII, 540 p. : ill. ; 23 cm |
| Disciplina | 00543 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
elaboratori elettronici - interfacciamento
elaboratori elettronici - sistemi operativi - programmazione telecomunicazioni |
| ISBN | 3-540-61984-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000207450203316 |
| Berlin [etc.] : Springer-Verlag, copyr. 1996 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mastering Amiga system / Paul Overaa
| Mastering Amiga system / Paul Overaa |
| Autore | Overaa, Paul |
| Pubbl/distr/stampa | Hertford : Bruce Smith Books, copyr. 1992 |
| Descrizione fisica | 398 p. : ill. ; 24 cm. + floppy disk |
| Disciplina | 005265 |
| Soggetto non controllato |
amiga (microelaboratore) - programmazione
elaboratori elettronici - sistemi operativi - programmazione linguaggio c |
| ISBN | 1-873308-06-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000259020203316 |
Overaa, Paul
|
||
| Hertford : Bruce Smith Books, copyr. 1992 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
X window system program : design and development / Steven Mikes
| X window system program : design and development / Steven Mikes |
| Autore | Mikes, Steven |
| Pubbl/distr/stampa | Reading (Mass.) : Addison-Wesley, copyr. 1992 |
| Descrizione fisica | VIII, 296 p. : ill. ; 23 cm |
| Disciplina | 005.4 |
| Collana | Benchmark book |
| Soggetto non controllato |
elaboratori elettronici - sistemi operativi - programmazione
sistema x window - progettazione |
| ISBN | 0-201-55077-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000271080203316 |
Mikes, Steven
|
||
| Reading (Mass.) : Addison-Wesley, copyr. 1992 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||