Formal Methods and Software Engineering [Risorsa elettronica] : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings / edited by Kung-Kiu Lau, Richard Banach |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2005 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540322504 |
Formato | Risorse elettroniche ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009250260403321 |
Berlin ; Heidelberg : Springer, 2005 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Logic based program synthetis and transformation : 10th International workshop, LOPSTR 2000 : London, UK, July 24-28, 2000 : selected papers / Kung-Kiu Lau (ed.) |
Autore | International workshop, LOPSTR <10. ; 2000 ; London ; UK> |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 2001 |
Descrizione fisica | VIII, 181 p. : ill. ; 20 cm |
Disciplina | 005.1 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
Programmazione logica - Congressi - 2000
Congressi - Londra - 2000 |
ISBN | 3-540-42127-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000498820203316 |
International workshop, LOPSTR <10. ; 2000 ; London ; UK>
![]() |
||
Berlin [etc.] : Springer-Verlag, copyr. 2001 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|