Fundamental approaches to softwareengineering : first International conference FASE'98 held as part of the Joint European conferences on theory and practice of software ETAPS'98 : Lisbon,Portugal, March 28-April 4, 1998 :proceedings / Egidio Astesiano (ed.) |
Autore | International conference FASE'98 : 1. : 1998 |
Pubbl/distr/stampa | Berlin : Springer, copyr. 1998 |
Descrizione fisica | XII, 329 p. : ill.; 23 cm |
Disciplina | 0051 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
congressi - lisbona - 1998
software - progettazione - congressi - 1998 |
ISBN | 3-540-64303-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000209420203316 |
International conference FASE'98 : 1. : 1998 | ||
Berlin : Springer, copyr. 1998 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Recent trends in data type specification : 10th workshop on specification of abstract data types, S. Margherita,Italy, May 30- June 3, 1994 / Egidio Astesiano (ed.) |
Autore | Workshop on specification of abstract data types : 10. : 1994 |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1995 |
Descrizione fisica | VIII, 523 p. : ill. ; 25 cm. |
Disciplina | 0051 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
congressi - s. margherita - 1994
elaboratori elettronici - programmazione - congressi - 1994 elaborazione elettronica - modelli matematici - congressi - 1994 linguaggi di programmazione - congressi - 1994 |
ISBN | 3-540-59132-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000211490203316 |
Workshop on specification of abstract data types : 10. : 1994 | ||
Berlin [etc.] : Springer-Verlag, copyr. 1995 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|