Skip to main content
Search Button
Canada Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


1 result for
Skip side bar filters

  • Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems

    Third International Joint Conference, QEST+FORMATS 2026, Liverpool, UK, September 2–4, 2026, Proceedings

    Edited by Mingshuai Chen, Max Tschaikowski ...
    Series series Springer Nature Proceedings Computer Science
    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 ... Read more

    $102.49 CAD