{"product_id":"chai-ming-runtime-verification-of-railway-applications-with-extended-live-sequence-charts-berichte-aus-der-informatik-band-1-9783844043334","title":"Runtime Verification of Railway Applications with Extended Live Sequence Charts (Berichte aus der Informatik, Band 1)","description":null,"brand":"Shaker","offers":[{"title":"Default Title","offer_id":53691333050710,"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_9783844043334_1_cba8f1c7-57cb-458c-9cb7-8cea8c7173ca.jpg?v=1781750228","url":"https:\/\/www.momoxbooks.com\/products\/chai-ming-runtime-verification-of-railway-applications-with-extended-live-sequence-charts-berichte-aus-der-informatik-band-1-9783844043334","provider":"momoxbooks","version":"1.0","type":"link"}