Computer Acronyms





Proof Of Correctness:


The use of techniques of mathematical logic to infer that a relation between program variables assumed true at program entry implies that another relation between program variables holds at program exit.



The Computer Dictionary has attempted to verify all computer, tech, network, and internet terms contained in our Computer Dictionary. If you feel that the definition of any of our computer or network related terms is not correct please contact us. If you would like to add a computer or technology related term please contact us.



Copyright Computer Dictionary 2003-2006. All right are reserved. Some terms and definitions are provided by and copyright of Saugus.net