{"product_id":"j-jeffrey-p-tsai-compositional-verification-of-concurrent-and-real-time-systems-9781461510109","title":"Compositional Verification of Concurrent and Real-Time Systems","description":null,"brand":"Springer","offers":[{"title":"Default Title","offer_id":53689202901334,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/j-jeffrey-p-tsai-compositional-verification-of-concurrent-and-real-time-systems-9781461510109","provider":"momoxbooks","version":"1.0","type":"link"}