Unified Model - Document - PDFSEARCH.IO

First Page	Meta Content
	Background reading on Hoare Logic Mike Gordon Learning Guide for the CST Part II course. This document aims to provide background reading to support the lectures – think of it as a free downloadable textbook. Chapters Add to Reading List Document Date: 2014-03-02 18:39:23 Open Document File Size: 611,90 KB Share Result on Facebook

UPDATE

Background reading on Hoare Logic Mike Gordon Learning Guide for the CST Part II course. This document aims to provide background reading to support the lectures – think of it as a free downloadable textbook. Chapters Add to Reading List