Logic-Based Program Synthesis and Transformation: 18th International Symposium,
74,37 €
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.
Jetzt bei Ebay:
