[직수입양서]
Correct Hardware Design and Verification Methods: 10th Ifip Wg10.5 Advanced Research Working Conference, Charme'99, Bad Herrenalb, Germany, September
[ Paperback, English ]
[직수입양서]
Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems,
[ Paperback ]
[직수입양서]
Correct Hardware Design and Verification Methods: Ifip Wg 10.2 Advanced Research Working Conference, Charme'93, Arles, France, May 24-26, 1993. Procee
[ Paperback ]
[직수입양서]
Correct Hardware Design and Verification Methods: 11th Ifip Wg 10.5 Advanced Research Working Conference, Charme 2001 Livingston, Scotland, UK, Septem
[ Paperback ]
[직수입양서]
Correct Hardware Design and Verification Methods: 12th Ifip Wg 10.5 Advanced Research Working Conference, Charme 2003, L'Aquila, Italy, October 21-24,
[ Paperback ]