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 - Mountainside - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2014-03-02 18:39:23		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 Source URL: www.lsv.ens-cachan.fr Download Document from Source Website File Size: 611,90 KB Share Document on Facebook