
Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-Based Model Checking
Autor Doron Drusinsky
31 mar 2006
Paperback
Preț: 493.95 lei 555.00 lei
Indisponibil temporar
-11%