Confronta i webshop (1)
Shop
Prezzo
Modeling And Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring Execution Based Model Checking