Symbolic Algebraic Methods and Verification MethodsTetsuro Yamamoto, Siegfried Rump, Jiri Rohn, Gotz Alefeld E-bok2012718 kr