{"product_id":"9780412813306","title":"IFIP Advances in Information and Communication Technology","description":"\u003ch1\u003eIFIP Advances in Information and Communication Technology\u003c\/h1\u003e \u003ch2\u003eHon Li; Probst, David\u003c\/h2\u003e \u003cp\u003eCHARM '97 is the ninth in a series of working conferences  devoted to the development and use of formal techniques in digital  hardware  design and verification. This series is held in  collaboration with  IFIP WG 10.5. Previous meetings were held in  Europe every other year.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1997-10-31\u003c\/p\u003e \u003cp\u003eFormat: Hardcover\u003c\/p\u003e \u003cp\u003eISBN-13: 9780412813306\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-0-387-35190-2\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 313\u003c\/p\u003e ","brand":"Springer US","offers":[{"title":"Default Title","offer_id":45378927034508,"sku":"9780412813306","price":152.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9780412813306.jpg?v=1775009875","url":"https:\/\/lateknightbooks.com\/products\/9780412813306","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}