-
1Correct Hardware Design and Verification Methods [electronic resource] : IFIPWG10.2 Advanced Research Working Conference, CHARME'93 Arles France May 24–26, 1993 Proceedings / Correct Hardware Design and Verification Methods [electronic resource] : IFIPWG10.2 Advanced Research Working Conference, CHARME'93 Arles France May 24–26, 1993 Proceedings /by Milne, George J. editor., Pierre, Laurence. editor., SpringerLink (Online service)
Published 1993Texto bibliotecaCOLPOS -
2Correct Hardware Design and Verification Methods [electronic resource] : IFIPWG10.2 Advanced Research Working Conference, CHARME'93 Arles France May 24–26, 1993 Proceedings / Correct Hardware Design and Verification Methods [electronic resource] : IFIPWG10.2 Advanced Research Working Conference, CHARME'93 Arles France May 24–26, 1993 Proceedings /by Milne, George J. editor., Pierre, Laurence. editor., SpringerLink (Online service)
Published 1993Texto bibliotecaCOLPOS