{"product_id":"formal-methods-paul-boca-9781848827356","title":"Formal Methods: State of the Art and New Directions","description":"Domain Engineering.- Program Verification and System Dependability.- The Abstract State Machines Method for High-Level System Design and Analysis.- Applications and Methodology of ?Z.- The Computer Ate My Vote.- Formal Methods for Biochemical Signalling Pathways.- Separation Logic and Concurrency.- Programming Language Description Languages.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Paul Boca\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 1848827350\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9781848827356\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 12\/22\/2009\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 273\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Hardcover\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.26lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.50h x 6.43w x 0.91d","brand":"Paul Boca","offers":[{"title":"Hardcover","offer_id":47424499056895,"sku":"9781848827356","price":109.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_e67ac03f-dfc7-411f-8ba6-b9ebf1628aec.jpg?v=1761530622","url":"https:\/\/www.whiterainbookhouse.com\/products\/formal-methods-paul-boca-9781848827356","provider":"WR Book House","version":"1.0","type":"link"}