Record Nr.

UNISA990000204680203316

Autore

Advanced research conference CHARME'93 : 1993

Titolo

Correct hardware design and verification methods : IFIP WG10.2 advanced research working conference CHARME'93 : Arles, Frances, May 24-26, 1993 : proceedings / George J. Milne (ed.)

Pubbl/distr/stampa


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

ISBN

3-540-56778-X

Descrizione fisica

VI, 269 p. : ill. ; 24 cm

Collana

Lecture notes in computer science ; 683

Disciplina

62139

Collocazione

001 LNCS (683 )

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia