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