{"product_id":"bicarregui-c-juan-proof-in-vdm-a-practitioner-s-guide-formal-approaches-to-computing-and-information-technology-facit-9783540198130","title":"Proof in Vdm: A Practitioner's Guide (Formal Approaches to Computing and Information Technology (FACIT))","description":null,"brand":"Springer","offers":[{"title":"Default Title","offer_id":53811945537878,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/bicarregui-c-juan-proof-in-vdm-a-practitioner-s-guide-formal-approaches-to-computing-and-information-technology-facit-9783540198130","provider":"momoxbooks","version":"1.0","type":"link"}