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

  • Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

    by Asad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki ...
    Series series Energy (R0)
    This book describes an accurate analysis technique for energy systems based on formal methods—computer-based mathematical logic techniques for the specification, validation, and verification of the systems.Correctness and accuracy of the financial, operational, and implementation analysis are of the paramount importance for the materialization of the future energy systems, such as smart grids, to ... Read more

    $83.29 CAD