{"product_id":"haykal-tej-hol-csp-mechanised-formal-development-of-concurrent-processes-9783832502874","title":"HOL-CSP: MECHANISED FORMAL DEVELOPMENT OF CONCURRENT PROCESSES","description":"mechanised formal devlopment mof concurrent processes 1., Aufl. 2003 156 S. Taschenbuch Logos Berlin,","brand":"Logos Berlin","offers":[{"title":"Default Title","offer_id":53747615301974,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/haykal-tej-hol-csp-mechanised-formal-development-of-concurrent-processes-9783832502874","provider":"momoxbooks","version":"1.0","type":"link"}