Jeremy Gibbons
Informatiker
Geboren:
1966
Creative Commons Attribution-Share Alike 3.0
Hat mitgewirkt an:
-
Teaching formal methods : second international conference ; proceedings
-
Mathematics of program construction : 11th international conference ; proceedings
-
Generic and indexed programming : international spring school ; revised lectures
-
Foundations of health information engineering and systems : third international symposium ; revised selected papers