{"product_id":"itu-ds-applied-formal-methods-for-elections-jian-wang-haeftet-2453710","title":"ITU DS Applied formal methods for elections","description":null,"brand":"Diverse kreditorer (bibi)","offers":[{"title":"Default Title","offer_id":53480729575688,"sku":"2453710","price":0.0,"currency_code":"DKK","in_stock":false}],"url":"https:\/\/mitir.indeksretail.dk\/products\/itu-ds-applied-formal-methods-for-elections-jian-wang-haeftet-2453710","provider":"Ordreportal","version":"1.0","type":"link"}