{"product_id":"kenneth-l-l-mcmillan-symbolic-model-checking-9781461363996","title":"Symbolic Model Checking","description":null,"brand":"Springer","offers":[{"title":"Default Title","offer_id":53825839595862,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/kenneth-l-l-mcmillan-symbolic-model-checking-9781461363996","provider":"momoxbooks","version":"1.0","type":"link"}