Record Nr.

UNINA990009249470403321

Titolo

Computer Aided Verification [Risorsa elettronica] : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings / edited by Kousha Etessami, Sriram K. Rajamani

Pubbl/distr/stampa


Berlin ; Heidelberg : Springer, 2005

ISBN

9783540316862

Collana

Lecture Notes in Computer Science , 0302-9743 ; 3576

Lingua di pubblicazione

Inglese

Formato

Risorsa elettronica

Livello bibliografico

Monografia