Number of the records: 1
Gibbons, Jeremy, 1966-
Personal name Gibbons, Jeremy, 1966- Biographical Note Britský počítačový odborník. URL http://web.comlab.ox.ac.uk/oucl/people/jeremy.gibbons.html Data source entry Davies, J. - Gibbons, J.: Integrated formal methods BLPC ; biografické údaje www(Oxford University) LC (Names) Collection kind Personal names and family names file References (1) - Učebnice
Number of the records: 1