next up previous contents
Next: CommUnity Up: Survey of Courses per Previous: CADiZ   Contents

CASL

 
Number of courses selected: 1  
Ref Y/S Module Institution Contact Topics/Langs/Tools
Foundations of Systems Development L-M-U München M. Wirsing ADT , CASL , FPT , LTL , MC , SPIN , TLA , Z

next up previous contents
Next: CommUnity Up: Survey of Courses per Previous: CADiZ   Contents
2004-11-04