{"product_id":"quantitative-evaluation-of-systems-and-formal-modeling-and-analysis-of-timed-sys-ebook","title":"Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems","description":"\u003cp\u003eThis book constitutes the proceedings of the Third International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2026, which took place in Liverpool, UK, during September 2-4, 2026.\u003c\/p\u003e\n\u003cp\u003eThe 24 full papers included in this book were carefully reviewed and selected from 54 submissions.\u003c\/p\u003e\n\u003cp\u003eThey deal with up to date research\u003cspan lang=\"EN-GB\"\u003e in the quantitative evaluation and verification of systems, including fundamental and practical aspects of systems with quantitative nature (such as probability, timing, or cost) and particular focus on machine-learning and quantum systems, case studies, and tool papers. \u003c\/span\u003e\u003c\/p\u003e\n\u003cp\u003e \u003c\/p\u003e","brand":"Mingshuai Chen","offers":[{"title":"Default Title","offer_id":54821868831047,"sku":"9783032352989","price":85.59,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0920\/5455\/2903\/files\/quantitative-evaluation-of-systems-and-formal-mode-ebook-cover.webp?v=1788115404","url":"https:\/\/www.cinebuch.de\/products\/quantitative-evaluation-of-systems-and-formal-modeling-and-analysis-of-timed-sys-ebook","provider":"CineBuch","version":"1.0","type":"link"}