Correct Hardware Design and Verification Methods: IFIPWG10.2 Advanced Research Working Conference, CHARME'93 Arles France May 24–26, 1993 Proceedings
Berlin [u.a.]: Springer, 1993
Online
Sammelwerk, Elektronische Ressource
Ermittle Ausleihstatus...
Titel: |
Correct Hardware Design and Verification Methods: IFIPWG10.2 Advanced Research Working Conference, CHARME'93 Arles France May 24–26, 1993 Proceedings
|
---|---|
Autor/in / Beteiligte Person: | Milne, George ; Pierre, Laurence |
Lokaler Link: | |
Link: | |
Veröffentlichung: | Berlin [u.a.]: Springer, 1993 |
Medientyp: | Sammelwerk |
Datenträgertyp: | Elektronische Ressource |
ISBN: | 9783540567783; 9783540706557 |
DOI: | 10.1007/BFb0021709 |
Sonstiges: |
|