no image available Dickens & Co. "Error-Free Circuitry: The Pursuit of Perfection in FMCAD07" "Advancing the Frontiers of Formal Methods in Computer-Aided Design, as the IEEE FMCAD07 Convenes in Austin" Price: 27.00€