• Shop by category
  • Powered by eBay
  • Rewriting Logic and Its Applications: 12th International Workshop, WRLA 2018, He

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

    • Automaton and Equation based Approximations for Reachability Analysis. - Multiparadigm Programming in Maude. - Specification and Verification of Data-aware BPMN Processes using Rewriting Modulo SMT.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category