Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: Third International Joint Conference, QEST+FORMATS 2026, ... (Lecture Notes in Computer Science, 16913)
Language: English
Published by Springer, 2026
- Softcover
- New
Seller: California Books, Miami, FL, U.S.A.California Books
AbeBooks seller since October 27, 2023
Condition: New
US$ 116.00
Quantity: Over 20 available
Add to basketSeller Inventory # I-9783032352972
- Title
- Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: Third International Joint Conference, QEST+FORMATS 2026, ... (Lecture Notes in Computer Science, 16913)
- Publisher
- Springer
- Publication year
- 2026
- Condition
- New
- Binding
- Soft cover
- 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.
California Books
Miami, FL, U.S.A.
AbeBooks seller since October 27, 2023
Shipping rates within U.S.A.
| Item | 3 to 7 business days | 2 to 5 business days |
|---|---|---|
| First item | US$ 0.00 | US$ 12.00 |
Payment methods
Store description
Specialty
All authorized categoriesSeller's business information
Miramar International Services LLC
Terms of sale
www.californiabooks.com
Shipping terms
www.californiabooks.com