×
  • Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings

    Gilles Barthe Benjamin Grégoire Santiago Zanella Béguelin (auth.) Jeremy Gibbons Pablo Nogueira (eds.)

Click on cover to enlarge.
8 - 9Hours to read