{"product_id":"formal-methods-in-computer-aided-design-second-international-conference-fmcad-98-palo-alto-ca-usa-november-4-6-1998-proceedings-von-ganesh-gopalakrishnan-phillip-windley-hrsg","title":"Formal Methods in Computer-Aided Design","description":"\u003cp\u003eChing-TsunChou (Intel, USA), EduardCerny (Univ.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540651918\"\u003e\u003ch3\u003eSecond International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540651918","offer_id":39427705077853,"sku":"9783540651918","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/f66682eb-f47c-4d53-aa0f-ea828c35274f.jpg?v=1773554279","url":"https:\/\/shop.autorenwelt.de\/products\/formal-methods-in-computer-aided-design-second-international-conference-fmcad-98-palo-alto-ca-usa-november-4-6-1998-proceedings-von-ganesh-gopalakrishnan-phillip-windley-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}