{"product_id":"formal-methods-in-computer-aided-design-mandayam-srivas-9783540619376","title":"Formal Methods in Computer-Aided Design: First International Conference, Fmcad '96, Palo Alto, Ca, Usa, November 6 - 8, 1996, Proceedings","description":"This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Computer-Aided Design, FMCAD '96, held in Palo Alto, California, USA, in November 1996.\u003cbr\u003eThe 25 revised full papers presented were selected from a total of 65 submissions; also included are three invited survey papers and four tutorial contributions. The volume covers all relevant formal aspects of work in computer-aided systems design, including verification, synthesis, and testing.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Mandayam Srivas\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3540619372\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783540619376\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 10\/23\/1996\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 478\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.49lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.21h x 6.14w x 0.98d","brand":"Mandayam Srivas","offers":[{"title":"Paperback","offer_id":48486956138751,"sku":"9783540619376","price":54.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_07211c98-99fc-4661-8535-eaec18f5ea8d.jpg?v=1778057382","url":"https:\/\/www.whiterainbookhouse.com\/products\/formal-methods-in-computer-aided-design-mandayam-srivas-9783540619376","provider":"WR Book House","version":"1.0","type":"link"}