Correct hardware design and verification methods : IFIP WG10.2 Advanced research working conference : Konf. CHARME'93, Arles, Frances, 24.- 26. May 1993 /
Enregistré dans:
| Autres auteurs: | , |
|---|---|
| Format: | Livre |
| Langue: | anglais |
| Publié: |
Berlin :
Springer Verlag,
1993
|
| Édition: | 1.vyd. |
| Sujets: | |
| Tags: |
Pas de tags, Soyez le premier à ajouter un tag!
|
| Description matérielle: | 269 s |
|---|---|
| ISBN: | 3-540-56778-X |