×
  • Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

    Jürgen Giesl

Click on cover to enlarge.
Buy This Book
From Amazon.
5 - 6Hours to read