MAP/i - Foundations of Computing

Option I: Program Semantics, Verification, and Construction
MAP/i

Overview
Recommended Books
Syllabus and Course Material
Assessment tinynew.gif

Education » MapiFc » WebTopicList

See also the verbose WebIndex.

r3 - 15 Nov 2006 - 19:43:52 - TWikiContributor
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM