{"product_id":"formal-methods-in-outer-space-springer-nature-switzerland-ag-9783030873479-essays-dedicated-to-klaus-havelund-on-the-occasion-of-his-65th-birthday-ezio-bartocci","title":"Formal Methods in Outer Space","description":"\u003cp\u003eDiscover the groundbreaking insights of \u003cstrong\u003eFormal Methods in Outer Space\u003c\/strong\u003e by \u003cstrong\u003eEzio Bartocci\u003c\/strong\u003e, published by \u003cstrong\u003eSpringer Nature Switzerland AG\u003c\/strong\u003e in 2021. This 1st edition paperback spans 193 pages and delves into the innovative applications of formal methods in the realm of space exploration and technology.\u003c\/p\u003e \n\n\u003cp\u003eEzio Bartocci, a distinguished scholar in the field, has been recognized with numerous accolades, including the prestigious 2020 SIGSOFT Impact Paper Award and the RV 2018 Test of Time award. His work has also garnered the ASE 2014 and ASE 2016 Most Influential Paper awards, highlighting his significant contributions to software engineering and formal verification.\u003c\/p\u003e \n\n\u003cp\u003eThis essential read is perfect for researchers, practitioners, and enthusiasts eager to explore the intersection of formal methods and outer space. Enhance your understanding of this vital area of study with Bartocci's expert guidance.\u003c\/p\u003e","brand":"Ezio Bartocci","offers":[{"title":"Default Title","offer_id":52274326929750,"sku":"9783030873479","price":60.62,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030873479.jpg?v=1767812565","url":"https:\/\/www.bookshop.ee\/products\/formal-methods-in-outer-space-springer-nature-switzerland-ag-9783030873479-essays-dedicated-to-klaus-havelund-on-the-occasion-of-his-65th-birthday-ezio-bartocci","provider":"Bookshop","version":"1.0","type":"link"}