Logic Based Program Synthesis and Transformation: 15th International Symposium,
75,97 €
The 10 revised full papers presented together with one invited talk were carefully selected and revised from 33 submissions. Since 1994 the proceedings have been published in the LNCS series of Springer.
Jetzt bei Ebay:
