Recent trends in algebraic development techniques : 12th International Workshop, WADT'97, Tarquinia, Italy, June 3-7, 1997 : selected papers / Francesco Parisi Presicce (ed.) |
Autore | International workshop WADT'97 : 12. : 1997 |
Pubbl/distr/stampa | Berlin : Springer, copyr. 1998 |
Descrizione fisica | VIII, 433 p : ill. ; 23 cm |
Disciplina | 005131 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
congressi - tarquinia - 1997
logica matematica - congressi - 1997 |
ISBN | 3-540-64299-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000209020203316 |
International workshop WADT'97 : 12. : 1997
![]() |
||
Berlin : Springer, copyr. 1998 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|