Logic-Based Program Synthesis and Transformation: 22nd International Symposium,
66,51 €
An Introduction to Search Combinators. - A Declarative Pipeline Language for Complex Data Analysis. - Semantic Code Clones in Logic Programs. - Specialization with Constrained Generalization for Software Model Checking.
Jetzt bei Ebay:
