{"product_id":"hardware-specification-verification-and-synthesis-mathematical-aspects-mathematical-sciences-institute-workshop-cornell-university-ithaca-new-yor-9780387972268","title":"Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New Yor","description":"The papers in this volume present current research into formal methods for hardware design. The goal of this research is to develop new ways of using logic to specify systems, model hardware and verify designs. Most of the research was performed in the United States.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Miriam Leeser\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 02\/14\/1990\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 404\u003cbr\u003e\u003cb\u003eBinding Type:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.27lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.21h x 6.14w x 0.84d\u003cbr\u003e\u003cb\u003eISBN:\u003c\/b\u003e 9780387972268\u003cp\u003e\u003ci\u003eThis title is not returnable\u003c\/i\u003e\u003cbr\u003e\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":40767171133555,"sku":"9.78E+12","price":176.95,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0555\/9255\/0515\/products\/img_259444af-74fe-4cc7-a829-5ec9f6f0460d.jpg?v=1679579537","url":"https:\/\/bookstorenmore.com\/en-de\/products\/hardware-specification-verification-and-synthesis-mathematical-aspects-mathematical-sciences-institute-workshop-cornell-university-ithaca-new-yor-9780387972268","provider":"Bookstore N More","version":"1.0","type":"link"}