翻訳と辞書
Words near each other
・ class-relation method
・ classic
・ classic c
・ classic-ada
・ classical logic
・ classless inter-domain routing
・ clausal language
・ clause
・ clean
・ cleanroom
clear
・ clear box testing
・ clear language for expressing orders
・ cleo
・ clhep
・ cli
・ clicc
・ click
・ client
・ client to client protocol


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

clear : FOLDOC
CLEAR
A {specification language} based on {initial algebras}.
["An Informal Introduction to Specification Using CLEAR", R.M. Burstall in The Correctness Problem in Computer Science, R.S. Boyer et al eds, Academic Press 1981, pp. 185-213].
(1994-11-03)



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

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