×
  • Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers

    Germán Vidal (auth.)

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