{"product_id":"formal-modeling-and-analysis-of-timed-systems-springer-nature-switzerland-ag-9783030296612-17th-international-conference-formats-2019-amsterdam-the-netherlands-august-27-29-2019-proceedings-tienne-andr","title":"Formal Modeling and Analysis of Timed Systems","description":"\u003cp\u003eExplore the cutting-edge research presented in \u003cstrong\u003eFormal Modeling and Analysis of Timed Systems\u003c\/strong\u003e by \u003cstrong\u003eÉtienne André\u003c\/strong\u003e, published by \u003cstrong\u003eSpringer Nature Switzerland AG\u003c\/strong\u003e in 2019. This comprehensive volume features the refereed proceedings of the 17th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2019), which took place in Amsterdam, The Netherlands, in August 2019.\u003c\/p\u003e \n\n\u003cp\u003eInside this 301-page paperback, you will find 15 full papers and 2 short papers that have been meticulously reviewed and selected from a competitive pool of 42 submissions. This book is an essential resource for researchers and practitioners interested in the formal modeling and analysis of timed systems, offering valuable insights into the latest advancements in the field.\u003c\/p\u003e \n\n\u003cp\u003eEnhance your knowledge and understanding of timed systems with this authoritative collection, perfect for those looking to stay at the forefront of this dynamic area of study.\u003c\/p\u003e","brand":"Étienne André","offers":[{"title":"Default Title","offer_id":52243231768918,"sku":"9783030296612","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030296612.jpg?v=1767766227","url":"https:\/\/www.englishbook.pt\/products\/formal-modeling-and-analysis-of-timed-systems-springer-nature-switzerland-ag-9783030296612-17th-international-conference-formats-2019-amsterdam-the-netherlands-august-27-29-2019-proceedings-tienne-andr","provider":"Bookshop","version":"1.0","type":"link"}