Record Nr.

UNISA990000206250203316

Autore

International conference CAV'97 : 9. : 1997

Titolo

Computer aided verification : 9th International conference, CAV'97 : Haifa, Israel, June 22-25, 1997 : proceedings / Orna Grumberg (ed.)

Pubbl/distr/stampa


Berlin : Springer-Verlag, copyr. 1997

ISBN

3-540-63166-6

Descrizione fisica

XI, 486 p. : ill. ; 23 cm

Collana

Lecture notes in computer science ; 1254

Disciplina

003

Collocazione

001 LNCS (1254)

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia