Verification, Model Checking, and Abstract InterpretationMarkus Muller-Olm, Neil Jones E-bok2008708 kr