Concurrent Programming, Open Systems and Formal Methods | DealShopping Deutschland