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 » 0809 » Topics0809
Assessment

r2 - 04 Nov 2008 - 00:02:15 - JoseBacelarAlmeida
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM