{"product_id":"michael-von-wenckstern-verification-of-structural-and-extra-functional-properties-in-component-and-connector-models-for-embedded-and-cyber-physical-systems-aachener-informatik-berichte-software-engineering-band-44-9783844072396","title":"Verification of Structural and Extra-Functional Properties in Component and Connector Models for Embedded and Cyber-Physical Systems (Aachener Informatik Berichte Software Engineering, Band 44)","description":null,"brand":"Shaker","offers":[{"title":"Default Title","offer_id":53683037667670,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9783844072396_1.jpg?v=1781744285","url":"https:\/\/www.momoxbooks.com\/products\/michael-von-wenckstern-verification-of-structural-and-extra-functional-properties-in-component-and-connector-models-for-embedded-and-cyber-physical-systems-aachener-informatik-berichte-software-engineering-band-44-9783844072396","provider":"momoxbooks","version":"1.0","type":"link"}