Showing 1 - 21 of 21 Results
1.
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction International S... by Backhouse, Roland C., Crole... ISBN: 9783540436133 List Price: $89.95
2.
Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlan... by Gibbons, Jeremy, Nuno Olive... ISBN: 9783642049118 List Price: $72.00
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.
Generic Programming Advanced Lectures by Backhouse, Roland C., Gibbo... ISBN: 9783540201946 List Price: $69.95
5.
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
6.
Datatype-Generic Programming by Backhouse, Roland, Gibbons,... ISBN: 9783540767855 List Price: $69.95
7.
Mathematics of Program Construction : 11th International Conference, MPC 2012, Madrid, Spain... by Gibbons, Jeremy, Nogueira, ... ISBN: 9783642311123 List Price: $83.00
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.
Algorithm Design with Haskell by Bird, Richard S., Gibbons, ... ISBN: 9781108491617
11.
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
12.
Generic Programming by Gibbons, Jeremy, Jeuring, J... ISBN: 9781475753196 List Price: $24.99
13.
Foundations of Health Information Engineering and Systems : Third International Symposium, F... by Gibbons, Jeremy, Maccaull, ... ISBN: 9783642539572 List Price: $24.99
14.
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction by Backhouse, Roland, Crole, R... ISBN: 9783662195628 List Price: $24.99
15.
Erlang'17 : 16th ACM SIGPLAN International Workshop on Erlang by Gibbons, Jeremy ISBN: 9781450351799 List Price: $99.00
18.
Haskell'17 : 10th ACM SIGPLAN International Haskell Symposium by Gibbons, Jeremy ISBN: 9781450351829 List Price: $99.00
19.
TyDe'17 : 2st ACM SIGPLAN International Workshop on Type-Driven Development by Gibbons, Jeremy ISBN: 9781450351836 List Price: $99.00
20.
Generic Programming by Backhouse, Roland, Gibbons,... ISBN: 9783662163184 List Price: $24.99
21.
Functional and Logic Programming : 17th International Symposium, FLOPS 2024, Kumamoto, Japan... by Gibbons, Jeremy, Miller, Dale ISBN: 9789819722990 List Price: $74.99