{"product_id":"guttag-john-v-larch-languages-and-tools-for-formal-specification-monographs-in-computer-science-9783540940067","title":"Larch: Languages and Tools for Formal Specification (Monographs in Computer Science)","description":null,"brand":"Springer Berlin","offers":[{"title":"Default Title","offer_id":53812975862102,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/guttag-john-v-larch-languages-and-tools-for-formal-specification-monographs-in-computer-science-9783540940067","provider":"momoxbooks","version":"1.0","type":"link"}