Skip to main content
Search Button
United States 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

  • Formal Methods: Foundations and Applications

    24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings

    Edited by Sérgio Campos, Marius Minea ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021. Due to COVID 19-pandemic it took place virtually.The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The papers detail the development, dissemination, and use of formal methods for the construction of high ... Read more

    $53.99 USD