• Shop by category
  • Powered by eBay
  • Foundations of Software Science and Computation Structures: 24th International

    • Item No : 167277654205
    • Condition : Brand New
    • Brand : No brand Info
    • Seller : loveourprices2
    • Current Bid : US $54.57
    • * Item Description

    • Constructing a universe for the setoid model. - Nominal Equational Problems. - Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy. - "Most of"' leads to undecidability: Failure of adding frequencies to LTL.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category