{"product_id":"nasa-formal-methods-von-undefined-2","title":"NASA Formal Methods","description":"\n                                \n                \u003cp\u003eThis 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. \u003c\/p\u003e\n                                \n                \n                \u003cp\u003eThe 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions. \u003c\/p\u003e\n                                The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice.  \n                \n                \u003cp\u003e\u003c\/p\u003e\n                                \n                \u003cbr\u003e\n                                \n                \u003cp\u003e\u003c\/p\u003e\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783031331695\"\u003e\u003ch3\u003e15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783031331695","offer_id":46774189949253,"sku":"9783031331695","price":106.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/96ef45e2-2050-48dd-9d7d-71aa97f3b317.jpg?v=1772170760","url":"https:\/\/shop.autorenwelt.de\/en\/products\/nasa-formal-methods-von-undefined-2","provider":"Autorenwelt Shop","version":"1.0","type":"link"}