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:
LTSA
Up:
Survey of Courses per
Previous:
Integrated Net Analyzer
 
Contents
2004-11-04