MAP/i - Foundations of Computing

Option I: Program Semantics, Verification, and Construction

Results

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

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