MAP/i - Foundations of Computing

Option I: Program Semantics, Verification, and Construction

Results

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

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