×
  • Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

    Michael Codish (auth.)

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