SAT-BASED SCALABLE FORMAL VERIFICATION SOLUTIONS (SERIES ON INTEGRATED CIRCUITS AND SYSTEMS)
SPRINGER
₹ 13,848.00
₹ 16,348.91
✻