1.
Record Nr.
UNISA990000209090203316
Autore
International symposium SAS '99 : 6th. : 1999
Titolo
Static analysis : 6th International symposium, SAS '99 : Venice, Italy, September 22-24, 1999 : proceedings / Agostino Cortesi ...[et al.] (eds.)
Pubbl/distr/stampa
Berlin : Springer-Verlag, copyr. 1999
ISBN
3-540-66459-9
Descrizione fisica
VIII, 356 p. : ill. ; 22 cm
Collana
Lecture notes in computer science ; 1694
Disciplina
005.1
Collocazione
001 LNCS (1694)
Lingua di pubblicazione
Inglese
Formato
Materiale a stampa
Livello bibliografico
Monografia