Logic-Based Program Synthesis and Transformation: 9th International Workshop, LO
68,59 €
The 14 revised full papers presented together with an invited paper and 2 tutorial lectures have gone through two rounds of reviewing and revisions. Invited Talk. - Constraint Logic Programming Applied to Model Checking.
Jetzt bei Ebay:
