• Shop by category
  • Powered by eBay
  • Foundations of Software Technology and Theoretical Computer Science: 11th Confer

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

    • Program checking. - Randomizing reductions of search problems. - AC-equation solving. - On the operational interpretation of complex types. - Tense logics for local reasoning in distributed systems.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category