Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 200
68,59 €
FMCAD provides a venue for academic and industrial researchers and practitioners to share their ideas and experiences of using - screte mathematical modeling and veri?cation. The workreported in this bookdescribes the use of formal mathematics and associated tools to design and verify digital hardware systems.
Jetzt bei Ebay:
