Record Nr.

UNISA990000202950203316

Autore

International workshop. CAV'91 : 3. : 1991

Titolo

Computer aided verification : 3rd International workshop, CAV'91: Aalborg, Denmark, July 1-4, 1991: proceedings / K. G. Larsen, A. Skou (eds.)

Pubbl/distr/stampa


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

ISBN

3-540-55179-4

Descrizione fisica

X, 487 p. : ill. ; 25 cm

Collana

Lecture notes in computer science ; 575

Disciplina

003

Collocazione

001 LNCS (575)

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia