{"product_id":"nasa-formal-methods-springer-international-publishing-ag-9783031067723-14th-international-symposium-nfm-2022-pasadena-ca-usa-may-24-27-2022-proceedings-jyotirmoy-deshmukh","title":"NASA Formal Methods","description":"\u003cp\u003eDiscover the cutting-edge advancements in formal methods with \u003cstrong\u003eNASA Formal Methods\u003c\/strong\u003e by \u003cstrong\u003eJyotirmoy Deshmukh\u003c\/strong\u003e. This comprehensive volume constitutes the proceedings of the 14th International Symposium on NASA Formal Methods, held in Pasadena, USA, from May 24-27, 2022. Published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e, this first edition features a robust collection of papers that explore innovative formal methods techniques and their practical applications. Spanning an impressive \u003cstrong\u003e828 pages\u003c\/strong\u003e, this book delves into the integration of formal methods with graphical modeling languages such as SysML and UML, making it an essential resource for researchers and practitioners alike. Enhance your understanding of the latest developments in the field and how they can be applied in real-world scenarios. Secure your copy of \u003cstrong\u003eNASA Formal Methods\u003c\/strong\u003e today and stay at the forefront of formal methods research!\u003c\/p\u003e","brand":"Jyotirmoy Deshmukh","offers":[{"title":"Default Title","offer_id":52267154440534,"sku":"9783031067723","price":133.37,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031067723.jpg?v=1767799980","url":"https:\/\/www.englishbook.fi\/products\/nasa-formal-methods-springer-international-publishing-ag-9783031067723-14th-international-symposium-nfm-2022-pasadena-ca-usa-may-24-27-2022-proceedings-jyotirmoy-deshmukh","provider":"Bookshop","version":"1.0","type":"link"}