Logic Based Program Synthesis and Transformation: 11th International Workshop, L
68,59 €
The 13 revised full papers presented together with an invited paper were carefully selected and improved during two rounds of reviewing and revision. Invited Speaker. - Static Analysis for Safe Destructive Updates in a Functional Language.
Jetzt bei Ebay:
