Record Nr.

UNISA990000204330203316

Autore

International conference CAV'94 : 6. : 1994

Titolo

Computer aided verification : 6th International conference CAV'94 : Stanford, California, Usa, June21-23, 1994 : proceedings / David L. Dill (ed.)

Pubbl/distr/stampa


Berlin [etc.] : Springer-Verlag, copyr. 1994

ISBN

3-540-58179-0

Descrizione fisica

IX, 480 p. : ill. ; 24 cm

Collana

Lecture notes in computer science ; 818

Disciplina

003

Collocazione

001 LNCS (818)

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia