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...


Showing 1 - 2 of 2 results for “damien zufferey”
Skip side bar filters

  • Numerical Software Verification

    12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings

    Edited by Majid Zamani, Damien Zufferey ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 12th International Workshop on Numerical Software Verification, NSV 2019, held in New York City, NY, USA, in July 2019 - colocated with the International Conference on Computer Aided Verification, CAV 2019.The 5 full papers presented together with 2 short papers, 3 abstracts of invited talks, and 2 tutorial papers were carefully reviewed and selected ... Read more

    $64.99 CAD

  • Verification, Model Checking, and Abstract Interpretation

    21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings

    Edited by Dirk Beyer, Damien Zufferey ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020.The 21 papers presented in this volume were carefully reviewed from 44 submissions. VMCAI provides a forum for researchers from the communities of verification, model checking, and abstract Interpretation, facilitating interaction, cross-fertilization, ... Read more

    $102.99 CAD