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

R 1,081
or 4 x payments of R270.25 with Payflex

Availability: Currently in Stock
Delivery: 10-20 working days
Condition: USED (All books are in used condition)

Customers who purchased this also purchased....