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.
Constructing programs from specifications : proceedings of the IFIP TC2/WG 2.1 Working Conference on Constructing Programs from Specifications, Pacific Grove, CA, USA, 13-16 May, 1991 / edited by B. Möller
| Constructing programs from specifications : proceedings of the IFIP TC2/WG 2.1 Working Conference on Constructing Programs from Specifications, Pacific Grove, CA, USA, 13-16 May, 1991 / edited by B. Möller |
| Autore | IFIP TC2-WG 2.1 working conference on constructing programs from specifications : <1991 |
| Pubbl/distr/stampa | Amsterdam [etc.], : North-Holland, 1991 |
| Descrizione fisica | X, 515 p. ; 23 cm. |
| Disciplina | 005.1 |
| Soggetto topico | Elaboratori elettronici - Programmazione - Congressi - 1991 |
| ISBN | 0444891846 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-NAP0395496 |
IFIP TC2-WG 2.1 working conference on constructing programs from specifications : <1991
|
||
| Amsterdam [etc.], : North-Holland, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Object-based concurrent computing : ECOOP '91 workshop : Geneva, Switzerland, July 15-16, 1991 : proceedings / M. Tokoro, O. Nierstrasz, P. Wegner (eds.)
| Object-based concurrent computing : ECOOP '91 workshop : Geneva, Switzerland, July 15-16, 1991 : proceedings / M. Tokoro, O. Nierstrasz, P. Wegner (eds.) |
| Autore | European conference on object-oriented programming : workshop on object-based concurrent computing : <1991 |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, c1992 |
| Descrizione fisica | X, 264 p. ; 25 cm |
| Disciplina | 005.1 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Elaboratori elettronici - Programmazione - Congressi - 1991
Programmazione parallela - Congressi - 1991 |
| ISBN |
0387556133
3540556133 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10013639 |
|
European conference on object-oriented programming : workshop on object-based concurrent computing : <1991
|
||
| Berlin [etc.], : Springer, c1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
