{"product_id":"nasa-formal-methods-jyotirmoy-v-deshmukh-9783031067723","title":"NASA Formal Methods: 14th International Symposium, Nfm 2022, Pasadena, Ca, Usa, May 24-27, 2022, Proceedings","description":"\u003cp\u003eThis book constitutes the proceedings of the 14th International Symposium on NASA Formal Methods, NFM 2022, held in Pasadena, USA, during May 24-27, 2022. \u003c\/p\u003e \u003cp\u003eThe 33 full and 6 short papers presented in this volume were carefully reviewed and selected from 118submissions. The volume also contains 6 invited papers. \u003c\/p\u003e \u003cp\u003eThe papers deal with advances in formal methods, formal methods techniques, and formal methods in practice. The focus on topics such as interactive and automated theorem proving; SMT and SAT solving; model checking; use of machine learning and probabilistic reasoning in formal methods; formal methods and graphical modeling languages such as SysML or UML; usability of formal method tools and application in industry, etc. \u003c\/p\u003e \u003cp\u003e \u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Jyotirmoy V. Deshmukh\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 303106772X\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783031067723\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 05\/20\/2022\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 828\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 2.58lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.21h x 6.14w x 1.69d","brand":"Jyotirmoy V. Deshmukh","offers":[{"title":"Paperback","offer_id":44080205136127,"sku":"9783031067723","price":139.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_190c52ef-44dc-4225-8dcb-f68604567f7b.jpg?v=1685485497","url":"https:\/\/www.whiterainbookhouse.com\/products\/nasa-formal-methods-jyotirmoy-v-deshmukh-9783031067723","provider":"WR Book House","version":"1.0","type":"link"}