Record Nr.

UNISA990000209150203316

Titolo

Correct hardware design and verification methods : 10th IFIP WG10.5 advanced researchworking conference, CHARME '99 : Bad Herrenalb, Germany, September 27-29, 1999 : proceedings / Laurence Pierre ...[et al.] (eds.)

Pubbl/distr/stampa


Berlino : Springer-Verlag, copyr. 1999

ISBN

3-540-66559-5

Descrizione fisica

XI, 366 p. : ill. ; 22 cm

Collana

Lecture notes in computer science ; 1703

Collocazione

001 LNCS (1703)

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia