Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2
126,24 €
The work reported in this book describes the use of modeling languages and their associated automated analysis tools to specify and verify computing systems. In addition,verica tion of circuit models, timing,power, etc., requires even more eo rt.
Jetzt bei Ebay:
