Higher order logic and hardware verification paperback | DealShopping España