Verification of Sequential and Concurrent Programs: Texts in Computer Science | DealShopping Deutschland