VDict mobile
Dictionary
-
Translation
English - Vietnamese
Vietnamese - English
Vietnamese - Vietnamese
French - Vietnamese
Vietnamese - French
Computing
English - English
Chinese - Vietnamese
Russian - Vietnamese
Formal design
kernel language
for describing (sequential)
software systems in intermediate stages of their design.
["An Introduction to COLD-K", H.B.M. Jonkers in Algebraic
Methods: Theory, Tools and Applications, M. Wirsing et al eds,
LNCS 394, Springer 1989, pp. 139-205].
(1995-01-04)