Next:
Prolog
Up:
Survey of Courses per
Previous:
Irish VDM
 
Contents
LOTOS
Number of courses selected: 2
Ref
Y/S
Module
Institution
Contact
Topics/Langs/Tools
CO861
MSc
Formal Methods
Kent
H. Bowman
CADP
,
LOTOS
,
MC
,
OZ
4
Software Engineering
Lisbon
R.G. Crespo
LOTOS
,
Z
Next:
Prolog
Up:
Survey of Courses per
Previous:
Irish VDM
 
Contents
2004-11-04