Formal Specification Techniques for Engineering Modular C Programs (International Series in Software Engineering (1), Band 1) | DealShopping Deutschland