High Integrity Software (The Springer International Series in Engineering and Computer Science, 577, Band 577) | DealShopping Deutschland