Confronta i webshop (2)
Shop
Prezzo
FORMAL SPECIFICATION and Systems ENGINEERING: Requirements Modeling Behavioral Verification Architecture Analysis Engineering of Dependable