Formal Aspects of Component Software: A Comprehensive Guide to Software Components and Their Formal Verification From (1 Deals)54.99 USD View product