Interactive Systems. Design, Specification, and Verification - Fabio Paterno - E-bok | Bokus