Logic-Based Program Synthesis and Transformation: 20th International Symposium,
69,04 €
The 13 revised full papers presented together with two invited papers were carefully reviewed and selected from 26 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, application and tools, program/model manipulation, and transformation techniques for any programming language paradigm.
Jetzt bei Ebay:
