• Shop by category
  • Powered by eBay
  • Formal Methods for Mobile Computing: 5th International School on Formal Methods

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

    • Each part is composed of two papers. In particular, the authors show that history-dependent automata allow for a compact representation of?. rst-class data with coordination primitives. Models and Languages.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category