Computer Aided Verification - Doron A. Peled - E-bok | Bokus