{"product_id":"9783031331695","title":"Nasa Formal Methods: 15Th International Symposium, Nfm 2023, Houston, Tx, Usa, May 16-18, 2023, Proceedings (Lecture Notes In Computer Science, 13903)","description":"This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023. The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice.\u003cbr\u003e\u003cbr\u003e\u003cbr\u003e\u003cul\u003e\n\u003cli\u003e| \u003cb\u003eAuthor: \u003c\/b\u003eKristin Yvonne Rozier, Swarat Chaudhuri\u003c\/li\u003e\n\u003cli\u003e| \u003cb\u003ePublisher: \u003c\/b\u003eSpringer\u003c\/li\u003e\n\u003cli\u003e| \u003cb\u003ePublication Date: \u003c\/b\u003eJun 03, 2023\u003c\/li\u003e\n\u003cli\u003e| \u003cb\u003eNumber of Pages: \u003c\/b\u003e513 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\u003e3031331699\u003c\/li\u003e\n\u003cli\u003e| \u003cb\u003eISBN-13: \u003c\/b\u003e9783031331695\u003c\/li\u003e\n\u003c\/ul\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":48295458734385,"sku":"9783031331695","price":97.68,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0798\/8215\/8385\/products\/9783031331695.jpg?v=1707675697","url":"https:\/\/www.recomparo.com\/products\/9783031331695","provider":"ReComparo.com","version":"1.0","type":"link"}