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


Top Series in Canada

1 result for
Skip side bar filters

  • Foundations of Security, Protocols, and Equational Reasoning

    Essays Dedicated to Catherine A. Meadows

    Edited by Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic ...
    Series series Computer Science (R0)
    This Festschrift volume is published in honor of Catherine A. Meadows and contains essays presented at the Catherine Meadows Festschrift Symposium held in Fredericksburg, VA, USA, in May 2019.Catherine A. Meadows has been a pioneer in developing symbolic formal verification methods and tools. Her NRL Protocol Analyzer, a tool and methodology that embodies symbolic model checking techniques, has ... Read more

    $64.99 CAD