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 » CourseAssessment

Results

I II III Final
Carlos Silva 16 15 13 15
Constantin Taivan 16 12 11 13
Frederico Valente 13 6 10 11
Henrique Castro 0 12 13 10
Nuno Luz 16 15 16 16
Nuno Macedo 14 18 16 16
Paulo Bernardes 13 15 11 13
Pedro Martins 13 9 10 12

Part I

  • Paper reading and presentations

Part II

  • Home assessment: Home exam to be delivered by January 10.

Part III

-- JorgeSousaPinto - 07 Dec 2010

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