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:
CommUnity
Up:
Survey of Courses per
Previous:
CADiZ
 
Contents
2004-11-04