{"product_id":"formal-modeling-and-analysis-of-timed-systems-springer-international-publishing-ag-9783031158384-20th-international-conference-formats-2022-warsaw-poland-september-13-15-2022-proceedings-sergiy-bogomolov","title":"Formal Modeling and Analysis of Timed Systems","description":"\u003cp\u003eDiscover the cutting-edge research presented in \u003cstrong\u003eFormal Modeling and Analysis of Timed Systems\u003c\/strong\u003e by \u003cstrong\u003eSergiy Bogomolov\u003c\/strong\u003e. Published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e in 2022, this first edition features a comprehensive collection of refereed proceedings from the prestigious 20th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2022), held in Warsaw, Poland. Spanning \u003cstrong\u003e307 pages\u003c\/strong\u003e, this book delves into the latest advancements in the field, making it an essential resource for researchers, practitioners, and students interested in timed systems. Enhance your understanding of formal modeling techniques and their applications in system analysis with this insightful publication. Perfect for those seeking to stay at the forefront of technological developments in this dynamic area.\u003c\/p\u003e","brand":"Sergiy Bogomolov","offers":[{"title":"Default Title","offer_id":52274326470998,"sku":"9783031158384","price":60.62,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031158384.jpg?v=1767812565","url":"https:\/\/www.englishbook.pt\/products\/formal-modeling-and-analysis-of-timed-systems-springer-international-publishing-ag-9783031158384-20th-international-conference-formats-2022-warsaw-poland-september-13-15-2022-proceedings-sergiy-bogomolov","provider":"Bookshop","version":"1.0","type":"link"}