{"product_id":"formal-modeling-and-analysis-of-timed-systems-springer-international-publishing-ag-9783319448770-14th-international-conference-formats-2016-quebec-qc-canada-august-24-26-2016-proceedings-martin-nzle","title":"Formal Modeling and Analysis of Timed Systems","description":"\u003cp\u003eDiscover the intricacies of timed systems with \u003cstrong\u003eFormal Modeling and Analysis of Timed Systems\u003c\/strong\u003e, authored by Martin änzle. This insightful volume, published by \u003cem\u003eSpringer International Publishing AG\u003c\/em\u003e in 2016, serves as the refereed proceedings of the prestigious 14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2016) held in Quebec, QC, Canada. Spanning \u003cstrong\u003e245 pages\u003c\/strong\u003e, this first edition delves into various topical sections, including the modeling of timed phenomena, providing essential knowledge for researchers and practitioners in the field of computer science. Enhance your understanding of formal methods and their applications in timed systems by adding this essential resource to your collection.\u003c\/p\u003e","brand":"Martin änzle","offers":[{"title":"Default Title","offer_id":52243230163286,"sku":"9783319448770","price":54.55,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319448770.jpg?v=1767766223","url":"https:\/\/www.laufgard.com\/products\/formal-modeling-and-analysis-of-timed-systems-springer-international-publishing-ag-9783319448770-14th-international-conference-formats-2016-quebec-qc-canada-august-24-26-2016-proceedings-martin-nzle","provider":"Bookshop","version":"1.0","type":"link"}