1. Resources
  2. Lectures
  3. Week 4
  4. Hoare Logic review and some simple looping programs (Ron's notes)

Hoare Logic review and some simple looping programs (Ron's notes)

View in browser

Resource created Tuesday 29 March 2016, 04:26:10 PM, last modified Wednesday 30 March 2016, 08:02:50 AM.

website: https://www.cse.unsw.edu.au/~se2011/16s1/lectures/4_basic-hoare.pdf

If the above does not display, view it directly in your browser.

Back to top

SENG2011 16s1 (Software Engineering Workshop 2A) is powered by WebCMS3
CRICOS Provider No. 00098G