×
  • Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 Selected Papers

    Natarajan Shankar (auth.)

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