Paperback Book
显示无货商品

Ralf Hinze的作品

Cover for Ralf Hinze · Mathematics of Program Construction: 12th International Conference, MPC 2015, Konigswinter, Germany, June 29--July 1, 2015. Proceedings - Lecture Notes in Computer Science (Paperback Book) [2015 edition] (2015)

Mathematics of Program Construct... (2015)

Cover for Ralf Hinze · Implementation and Application of Functional Languages: 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2013 edition] (2013)

Implementation and Application o... (2013)