Showing 1 - 20 of 20 Results
1.
Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlan... by Gibbons, Jeremy, Nuno Olive... ISBN: 9783642049118 List Price: $72.00
2.
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction International S... by Backhouse, Roland C., Crole... ISBN: 9783540436133 List Price: $89.95
3.
Generic Programming Ifip Tc2/Wg2.1 Working Conference on Generic Programming, July 11-12, 20... by Gibbons, Jeremy, Jeuring, J... ISBN: 9781402073748 List Price: $165.00
4.
Mathematics of Program Construction : 11th International Conference, MPC 2012, Madrid, Spain... by Gibbons, Jeremy, Nogueira, ... ISBN: 9783642311123 List Price: $83.00
5.
Datatype-Generic Programming by Backhouse, Roland, Gibbons,... ISBN: 9783540767855 List Price: $69.95
6.
Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 200... by Davies, Jim, Gibbons, Jeremy ISBN: 9783540732099 List Price: $109.00
7.
Generic Programming Advanced Lectures by Backhouse, Roland C., Gibbo... ISBN: 9783540201946 List Price: $69.95
8.
Bidirectional Transformations: International Summer School, Oxford, UK, July 25-29, 2016, Tu... by Gibbons, Jeremy, Stevens, P... ISBN: 9783319791074 List Price: $69.99
9.
Proceedings of the Third ACM Haskell Symposium on Haskell by Gibbons, Jeremy ISBN: 9781450302524 List Price: $24.00
10.
Foundations of Health Information Engineering and Systems : Third International Symposium, F... by Gibbons, Jeremy, Maccaull, ... ISBN: 9783642539572 List Price: $24.99
11.
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction by Backhouse, Roland, Crole, R... ISBN: 9783662195628 List Price: $24.99
12.
Generic Programming by Backhouse, Roland, Gibbons,... ISBN: 9783662163184 List Price: $24.99
13.
Generic Programming : IFIP TC2 / WG2. 1 Working Conference Programming July 11-12, 2002, Dag... by Gibbons, Jeremy, Jeuring, J... ISBN: 9781475753202 List Price: $165.00
14.
TyDe'17 : 2st ACM SIGPLAN International Workshop on Type-Driven Development by Gibbons, Jeremy ISBN: 9781450351836 List Price: $99.00
16.
Erlang'17 : 16th ACM SIGPLAN International Workshop on Erlang by Gibbons, Jeremy ISBN: 9781450351799 List Price: $99.00
17.
Haskell'17 : 10th ACM SIGPLAN International Haskell Symposium by Gibbons, Jeremy ISBN: 9781450351829 List Price: $99.00
19.
Algorithm Design with Haskell by Bird, Richard S., Gibbons, ... ISBN: 9781108491617
20.
Generic Programming by Gibbons, Jeremy, Jeuring, J... ISBN: 9781475753196 List Price: $24.99