{"product_id":"nasa-formal-methods-springer-international-publishing-ag-9783319779348-10th-international-symposium-nfm-2018-newport-news-va-usa-april-17-19-2018-proceedings-aaron-dutle","title":"NASA Formal Methods","description":"\u003cp\u003eDiscover the cutting-edge advancements in formal methods with \u003cstrong\u003eNASA Formal Methods\u003c\/strong\u003e by \u003cstrong\u003eAaron Dutle\u003c\/strong\u003e. This comprehensive volume, published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e in 2018, is the official proceedings of the 10th International Symposium on NASA Formal Methods (NFM 2018), held in Newport News, VA. With a total of \u003cstrong\u003e470 pages\u003c\/strong\u003e, this first edition features a collection of \u003cstrong\u003e24 full papers\u003c\/strong\u003e and \u003cstrong\u003e7 short papers\u003c\/strong\u003e that have been meticulously reviewed and selected from an impressive pool of \u003cstrong\u003e92 submissions\u003c\/strong\u003e. This book is an essential resource for researchers and practitioners interested in the intersection of formal methods and aerospace applications. Delve into the latest research and insights that shape the future of NASA's formal methods and enhance your understanding of this vital field.\u003c\/p\u003e","brand":"Aaron Dutle","offers":[{"title":"Default Title","offer_id":52234364485974,"sku":"9783319779348","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319779348.jpg?v=1767753527","url":"https:\/\/www.englishbook.pt\/products\/nasa-formal-methods-springer-international-publishing-ag-9783319779348-10th-international-symposium-nfm-2018-newport-news-va-usa-april-17-19-2018-proceedings-aaron-dutle","provider":"Bookshop","version":"1.0","type":"link"}