Model Checking Software - Stefan Edelkamp - E-bok | Bokus