Record Nr.

UNINA990009251040403321

Titolo

Runtime Verification [Risorsa elettronica] : 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers / edited by Oleg Sokolsky, Serdar Tasiran

Pubbl/distr/stampa


Berlin ; Heidelberg : Springer, 2007

ISBN

9783540773955

Collana

Lecture Notes in Computer Science , 0302-9743 ; 4839

Lingua di pubblicazione

Inglese

Formato

Risorsa elettronica

Livello bibliografico

Monografia