• Shop by category
  • Powered by eBay
  • Logic-Based Program Synthesis and Transformation: 18th International Symposium,

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

    • Space Invading Systems Code. - Test Data Generation of Bytecode by CLP Partial Evaluation. - A Modular Equational Generalization Algorithm. - A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category