{"product_id":"nasa-formal-methods-springer-international-publishing-ag-9783319406473-8th-international-symposium-nfm-2016-minneapolis-mn-usa-june-7-9-2016-proceedings-sanjai-rayadurgam","title":"NASA Formal Methods","description":"\u003cp\u003eDiscover the cutting-edge insights of \u003cstrong\u003eNASA Formal Methods\u003c\/strong\u003e by \u003cstrong\u003eSanjai Rayadurgam\u003c\/strong\u003e, published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e in 2016. This comprehensive volume, spanning 396 pages, showcases the proceedings of the 8th International Symposium on NASA Formal Methods (NFM 2016), which took place in Minneapolis, MN, USA. Within these pages, you will find 19 full papers and 10 short papers that have been meticulously reviewed and selected from an impressive pool of 70 submissions. This book is an essential resource for anyone interested in computer science, software development, and the formal methods utilized by the National Aeronautics and Space Administration (NASA). Enhance your understanding of this critical field and explore the innovative research that shapes the future of aerospace technology.\u003c\/p\u003e","brand":"Sanjai Rayadurgam","offers":[{"title":"Default Title","offer_id":52234364715350,"sku":"9783319406473","price":66.68,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319406473.jpg?v=1767753529","url":"https:\/\/www.englishbook.pt\/products\/nasa-formal-methods-springer-international-publishing-ag-9783319406473-8th-international-symposium-nfm-2016-minneapolis-mn-usa-june-7-9-2016-proceedings-sanjai-rayadurgam","provider":"Bookshop","version":"1.0","type":"link"}