Record Nr.

UNISA990002951670203316

Autore

International conference, ATVA 2004 : < 2. ; : 2004

Titolo

Automated technology for Verification and Analysis : Second International Conference, ATVA 2004 : Taipei, Taiwan, ROC, October 31 - November 3, 2004 : Proceedings / Farn Wang... (Ed.)

Pubbl/distr/stampa


Berlin [etc.] : Springer, copyr. 2004

ISBN

3-540-23610-4

Descrizione fisica

XII, 506 p. : ill. ; 24 cm.

Collana

Lecture notes in computer science ; 3299

Disciplina

005.1

Soggetti

Informatica - Congressi - 2004

Collocazione

001 LNCS 3299

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia