Programming languages and systems : 7 th European Symposium on Programming, ESOP'98, help as part of the Joint European Conference on theoryand Practice of software, ETAPS'98, Lisbon, Portugal March 28- Aprile4, 1998 : proceedings / Chiris Hankin (ed) |
Autore | European symposium on programming ESOP'98 : 7. : 1998 |
Pubbl/distr/stampa | Berlin : Springer, copyr. 1998 |
Descrizione fisica | X, 281 p. : ill. ; 23 cm |
Disciplina | 0051 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
congressi - lisbona - 1998
elaboratori elettronici - programmazione - congressi - 1998 |
ISBN | 3-540-64302-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000209220203316 |
European symposium on programming ESOP'98 : 7. : 1998 | ||
Berlin : Springer, copyr. 1998 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Static Analysis [Risorsa elettronica] : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings / edited by Chris Hankin, Igor Siveroni |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2005 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540319719 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009249910403321 |
Berlin ; Heidelberg : Springer, 2005 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. Federico II | ||
|