Abstract data and local reasoning


Data and Local Reasoning Thomas Dinsdale-Young Submitted in part fulfilment of the requirements for the degree of Doctor of Philosophy in Computing of the University of London and the Diploma of Imperial College, November 2010 


33 Figures and Tables

Slides referencing similar topics