Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems (Paperback)
Language: English
Published by Springer Nature Switzerland AG, Cham, 2026
- Softcover
- New
Seller: AussieBookSeller, Truganina, VIC, AustraliaAussieBookSeller
AbeBooks seller since June 22, 2007
Condition: New
US$ 149.77
Quantity: 1 available
Add to basketItem description from seller
Paperback. This 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.The 24 full papers included in this book were carefully reviewed and selected from 54 submissions.They deal with up to date research 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. This item is printed on demand. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Seller Inventory # 9783032352972
- Title
- Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems (Paperback)
- Author
- Mingshuai Chen
- Publisher
- Springer Nature Switzerland AG, Cham
- Publication year
- 2026
- Condition
- new
- Binding
- Paperback
- Language
- English
- ISBN 10
- 3032352975
- ISBN 13
- 9783032352972
This 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.
The 24 full papers included in this book were carefully reviewed and selected from 54 submissions.
They deal with up to date research 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.
"Synopsis" may belong to another edition of this title.
AussieBookSeller
Truganina, VIC, Australia
AbeBooks seller since June 22, 2007
Shipping rates from Australia to U.S.A.
| Item | 25 to 45 business days | 8 to 14 business days |
|---|---|---|
| First item | US$ 37.00 | US$ 44.00 |
Payment methods
Seller's business information
The Nile Group Pty Ltd
42 Apex Drive
Truganina, VIC Australia 3029
Terms of sale
We guarantee the condition of every book as it's described on the Abebooks web sites. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the Ask bookseller a question link to contact us and we'll respond within 2 business days.
Shipping terms
Please note that titles are dispatched from our UK and NZ warehouse. Delivery times specified in shipping terms. Orders ship within 2 business days. Delivery to your door then takes 8-15 days.