翻訳と辞書
Words near each other
・ cognitech
・ cognitive architecture
・ cogo
・ coherent parallel c
・ cohesion
・ coif
・ cokebottle
・ colasl
・ cold
・ cold boot
cold-k
・ coldfusion
・ coldfusion markup language
・ colingo
・ collision
・ collision detection
・ collocation
・ colon
・ color
・ color graphics adapter


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

cold-k : FOLDOC
COLD-K
A 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)



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.