{"product_id":"doron-drusinsky-modeling-and-verification-using-uml-statecharts-a-working-guide-to-reactive-system-design-runtime-monitoring-and-execution-based-model-checking-9780750679497","title":"Modeling And Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring And Execution-Based Model Checking","description":null,"brand":"Newnes (an imprint of Butterworth-Heinemann Ltd )","offers":[{"title":"Default Title","offer_id":53859404153174,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/doron-drusinsky-modeling-and-verification-using-uml-statecharts-a-working-guide-to-reactive-system-design-runtime-monitoring-and-execution-based-model-checking-9780750679497","provider":"momoxbooks","version":"1.0","type":"link"}