{"product_id":"9781447157458","title":"Formal Methods: State Of The Art And New Directions","description":"Through fundamental contributions from leading researchers, this volume describes the use of formal modeling methods in the areas of requirements, design and validation. The self-contained chapters provide readers with rich background information and a diverse breadth of specialist material.\u003cbr\u003e\u003cbr\u003e\u003cbr\u003e\u003cul\u003e\n\u003cli\u003e• \u003cb\u003eAuthor: \u003c\/b\u003ePaul Boca, Jonathan P. Bowen, Jawed Siddiqi\u003c\/li\u003e\n\u003cli\u003e• \u003cb\u003ePublisher: \u003c\/b\u003eSpringer\u003c\/li\u003e\n\u003cli\u003e• \u003cb\u003ePublication Date: \u003c\/b\u003eOct 20, 2014\u003c\/li\u003e\n\u003cli\u003e• \u003cb\u003eNumber of Pages: \u003c\/b\u003e298 pages\u003c\/li\u003e\n\u003cli\u003e• \u003cb\u003eLanguage: \u003c\/b\u003eEnglish\u003c\/li\u003e\n\u003cli\u003e• \u003cb\u003eBinding: \u003c\/b\u003ePaperback\u003c\/li\u003e\n\u003cli\u003e• \u003cb\u003eISBN-10: \u003c\/b\u003e1447157451\u003c\/li\u003e\n\u003cli\u003e• \u003cb\u003eISBN-13: \u003c\/b\u003e9781447157458\u003c\/li\u003e\n\u003c\/ul\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":50155940872497,"sku":"9781447157458","price":131.52,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0798\/8215\/8385\/files\/9781447157458.jpg?v=1729007114","url":"https:\/\/www.recomparo.com\/es\/products\/9781447157458","provider":"ReComparo.com","version":"1.0","type":"link"}