MAP/i - Foundations of Computing

Option I: Program Semantics, Verification, and Construction
Assessment

Part I

  • Paper reading and presentations

Part II

  • Home assessment: December 13 to December 27

Part III

-- JorgeSousaPinto - 07 Dec 2010

r1 - 07 Dec 2010 - 17:02:40 - JorgeSousaPinto
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM