×
  • Logic Based Program Synthesis and Transformation: 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers

    Helko Lehmann

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