Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-Based Model Checking - Tapa blanda

 
9780080481470: Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-Based Model Checking

Esta edición ISBN ya no está disponible.

Otras ediciones populares con el mismo título