Logic-Based Program Synthesis and Transformation: 21st International Symposium,
60,66 €
Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.
Jetzt bei Ebay:
