Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation
2010216 psl.ISBN 9783642125911
Viršelis: MinkštasAnglų k.