equal
deleted
inserted
replaced
509 </center> |
509 </center> |
510 </p> |
510 </p> |
511 |
511 |
512 <p> |
512 <p> |
513 <B>Skills:</B> |
513 <B>Skills:</B> |
514 Well, you must be a hacker; happy to make things. Your desk might look like this |
514 Well, you must be a hacker; happy to make things. Your desk might look like this: |
515 <center> |
515 <center> |
516 <img style="-webkit-user-select: none; cursor: -webkit-zoom-in; |
516 <img style="-webkit-user-select: none; cursor: -webkit-zoom-in; |
517 "src="http://www.inf.kcl.ac.uk/staff/urbanc/rpi-photo.jpg" width="313" height="209"> |
517 "src="http://www.inf.kcl.ac.uk/staff/urbanc/rpi-photo.jpg" width="209" height="313"> |
518 </center> |
518 </center> |
519 </p> |
519 </p> |
520 |
520 |
521 |
521 |
522 <li> <H4>[CU8] Proving the Correctness of Programs</H4> |
522 <li> <H4>[CU8] Proving the Correctness of Programs</H4> |
566 </TD> |
566 </TD> |
567 </TR> |
567 </TR> |
568 </TABLE> |
568 </TABLE> |
569 |
569 |
570 <P> |
570 <P> |
571 <!-- hhmts start --> Last modified: Sun Nov 10 21:40:27 GMT 2013 <!-- hhmts end --> |
571 <!-- hhmts start --> Last modified: Sun Nov 10 21:55:56 GMT 2013 <!-- hhmts end --> |
572 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
572 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
573 </BODY> |
573 </BODY> |
574 </HTML> |
574 </HTML> |