{"product_id":"oddos-yann-verification-semi-formelle-et-synthese-automatique-de-psl-vers-hdl-verification-formelle-pour-la-synthese-automatique-de-circuits-9786131550751","title":"Vérification Semi-Formelle et Synthèse Automatique de PSL vers HDL: Vérification Formelle Pour la Synthèse Automatique de Circuits","description":null,"brand":"Editions universitaires europeennes","offers":[{"title":"Default Title","offer_id":53901027279190,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9786131550751_1.jpg?v=1781874824","url":"https:\/\/www.momoxbooks.com\/products\/oddos-yann-verification-semi-formelle-et-synthese-automatique-de-psl-vers-hdl-verification-formelle-pour-la-synthese-automatique-de-circuits-9786131550751","provider":"momoxbooks","version":"1.0","type":"link"}