next up previous contents
Next: LTSA Up: Survey of Courses per Previous: Integrated Net Analyzer   Contents

IVDM Library

 
Number of courses selected: 1  
Ref Y/S Module Institution Contact Topics/Langs/Tools
4ICT8 System Modelling and Specification Dublin A. Hughes Haskell , IVDM , IVDMH , MPC
next up previous contents
Next: LTSA Up: Survey of Courses per Previous: Integrated Net Analyzer   Contents
2004-11-04