Record Nr.

UNINA990009252180403321

Titolo

Computer Aided Verification [Risorsa elettronica] : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings / edited by Werner Damm, Holger Hermanns

Pubbl/distr/stampa


Berlin ; Heidelberg : Springer, 2007

ISBN

9783540733683

Collana

Lecture Notes in Computer Science , 0302-9743 ; 4590

Lingua di pubblicazione

Inglese

Formato

Risorsa elettronica

Livello bibliografico

Monografia