next up previous contents
Next: Estelle Up: Survey of Courses per Previous: VDM++   Contents

E-LOTOS

 
Number of courses selected: 1  
Ref Y/S Module Institution Contact Topics/Langs/Tools
CO610 BSc 3 Distributed Systems Kent E.A. Boiten ELotos , Estelle , SDL
next up previous contents
Next: Estelle Up: Survey of Courses per Previous: VDM++   Contents
2004-11-04