{"product_id":"nasa-formal-methods-springer-nature-switzerland-ag-9783030206512-11th-international-symposium-nfm-2019-houston-tx-usa-may-7-9-2019-proceedings-julia-m-badger","title":"NASA Formal Methods","description":"\u003cp\u003eExplore the cutting-edge research in formal methods with \u003cstrong\u003eNASA Formal Methods\u003c\/strong\u003e, authored by \u003cstrong\u003eJulia M. Badger\u003c\/strong\u003e. This comprehensive volume, published by \u003cstrong\u003eSpringer Nature Switzerland AG\u003c\/strong\u003e in 2019, compiles the proceedings from the 11th International Symposium on NASA Formal Methods (NFM 2019), held in Houston, TX. With a total of \u003cstrong\u003e392 pages\u003c\/strong\u003e, this book features 20 full papers and 8 short papers, all meticulously reviewed and selected from over 100 submissions. Ideal for researchers and practitioners in the field, this collection delves into innovative methodologies and applications that enhance the reliability and safety of software systems in aerospace and beyond. Don’t miss the opportunity to gain insights from leading experts and expand your knowledge in formal methods.\u003c\/p\u003e","brand":"Julia M. Badger","offers":[{"title":"Default Title","offer_id":52234364846422,"sku":"9783030206512","price":72.74,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030206512.jpg?v=1767753530","url":"https:\/\/www.englishbook.pt\/products\/nasa-formal-methods-springer-nature-switzerland-ag-9783030206512-11th-international-symposium-nfm-2019-houston-tx-usa-may-7-9-2019-proceedings-julia-m-badger","provider":"Bookshop","version":"1.0","type":"link"}