Join Books.org — it's free

Quality Control & Testing - Programming, General & Miscellaneous Computing
Computer Aided Verification by Rajeev Alur β€” book cover

Computer Aided Verification

by Rajeev Alur (Editor), Doron A. Peled
Available on Bookshop Write a review

Books.org participates in affiliate programs including Bookshop.org and the Amazon Services LLC Associates Program. We may earn a commission from qualifying purchases made through links on this page, at no additional cost to you.

Log in to track your reading progress.