Quick view Add to Cart Formal Verification Of Control System Software (Princeton Series In Applied Mathematics, 58) $67.92 Princeton University Press
Quick view Add to Cart Finding Your Way Through Formal Verification $27.00 CreateSpace Independent Publishing Platform