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