{"product_id":"from-reactive-systems-to-cyber-physical-systems-springer-nature-switzerland-ag-9783030315139-essays-dedicated-to-scott-a-smolka-on-the-occasion-of-his-65th-birthday-ezio-bartocci","title":"From Reactive Systems to Cyber-Physical Systems","description":"\u003cp\u003eDiscover the innovative world of systems engineering in \u003cstrong\u003eFrom Reactive Systems to Cyber-Physical Systems\u003c\/strong\u003e by \u003cstrong\u003eEzio Bartocci\u003c\/strong\u003e. Published by \u003cstrong\u003eSpringer Nature Switzerland AG\u003c\/strong\u003e in 2019, this comprehensive paperback edition spans 301 pages and delves into a diverse array of topics that reflect Scott's extensive research interests. \u003c\/p\u003e \u003cp\u003eExplore critical themes such as model repair for probabilistic systems, runtime verification, model checking, and the simulation of cardiac dynamics. Additionally, the book integrates cutting-edge insights from machine learning, making it an essential resource for researchers and practitioners alike. \u003c\/p\u003e \u003cp\u003eThis engaging text not only enhances your understanding of cyber-physical systems but also provides practical applications and theoretical foundations crucial for advancing in the field. Don't miss out on this essential addition to your professional library!\u003c\/p\u003e","brand":"Ezio Bartocci","offers":[{"title":"Default Title","offer_id":52242987614550,"sku":"9783030315139","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030315139.jpg?v=1767765807","url":"https:\/\/www.englishbook.pt\/products\/from-reactive-systems-to-cyber-physical-systems-springer-nature-switzerland-ag-9783030315139-essays-dedicated-to-scott-a-smolka-on-the-occasion-of-his-65th-birthday-ezio-bartocci","provider":"Bookshop","version":"1.0","type":"link"}