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 » WebHome » WebSideBar
MAP/i

Overview
Recommended Books
Syllabus and Course Material
Assessment tinynew.gif

r7 - 12 Apr 2011 - 09:25:57 - JorgeSousaPinto
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM