• Shop by category
  • Powered by eBay
  • Verification of Sequential and Concurrent Programs by Krzysztof R. Apt (English)

    • Item No : 136064812656
    • Condition : Brand New
    • Brand : No brand Info
    • Seller : the_nile
    • Current Bid : US $96.77
    • * Item Description

    • By Krzysztof R. Apt, Amir Pnueli, Ernst-Rüdiger Olderog, Frank S. de Boer. Computer programs are an indispensable part of many of the systems we rely upon in our daily lives, and the proper functioning and safety of these systems is of paramount importance.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category