×
  • Reasoning about program transformations: imperative programming and flow of data

    Jean-Francois Collard

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