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


Top Series in United States

1 result for
Skip side bar filters

  • Model Checking, second edition

    by Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith, Edmund M. Clarke Jr. ...
    Series series Cyber Physical Systems Series
    An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.Model checking is a verification technology that provides an algorithmic means of determining whether an abstract model—representing, for example, a hardware or software design—satisfies a formal specification expressed as a ... Read more

    $45.99 USD