Constrained choice Foundations of Computing and Concurrency

Compulsory choice Theoretical Computer Science at least 6 credits,
recommended are the courses below.
 
Course name Period Credits Code Pdf
Logical Verification 6.0 X_400115
Protocol Validation Period 1 6.0 X_400117
Advanced Logic Period 4 6.0 X_405048
Distributed Algorithms Period 5 6.0 X_400211
Term Rewriting Systems Period 5 6.0 XM_400121
© Copyright VU University Amsterdam
asnDCcreatorasvVUAmsterdam asnDCdateasv2017 asnstudyguideasvmodulegroep asnDCtitleasvConstrainedchoiceFoundationsofComputingandConcurrency