{"product_id":"bjorner-dines-logics-of-specification-languages-monographs-in-theoretical-computer-science-an-eatcs-series-9783540741060","title":"Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)","description":null,"brand":"Springer","offers":[{"title":"Default Title","offer_id":53813259436374,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/bjorner-dines-logics-of-specification-languages-monographs-in-theoretical-computer-science-an-eatcs-series-9783540741060","provider":"momoxbooks","version":"1.0","type":"link"}