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.
Analysis and verification of multiple-agent languages : 5th LOMAPS workshop : Stockholm, Sweden, June 24-26, 1996 : selected papers / Mads Dam (ed.)
| Analysis and verification of multiple-agent languages : 5th LOMAPS workshop : Stockholm, Sweden, June 24-26, 1996 : selected papers / Mads Dam (ed.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1997 |
| Descrizione fisica | VIII, 434 p. : ill. ; 23 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - stoccolma - 1996
linguaggi di programmazione - congressi - 1996 software - sviluppo - congressi - 1996 |
| ISBN | 3-540-62503-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000205350203316 |
| Berlin [etc.] : Springer-Verlag, copyr. 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software configuration management : ICSE'96 SCM-6 workshop : Berlin, Germany, March 25-26, 1996 : selected papers / Ian Sommerville ... [et al.] (eds.)
| Software configuration management : ICSE'96 SCM-6 workshop : Berlin, Germany, March 25-26, 1996 : selected papers / Ian Sommerville ... [et al.] (eds.) |
| Pubbl/distr/stampa | erlin [etc.] : Springer-Verlag copyr 1996 |
| Descrizione fisica | VII, 290 p : ill ;23 cm |
| Disciplina | 0051 |
| Soggetto non controllato |
congressi - berlino - 1996
software - sviluppo - congressi - 1996 |
| ISBN | 3-540-61964-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000233630203316 |
| erlin [etc.] : Springer-Verlag copyr 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||