翻訳と辞書
Words near each other
・ proof/l
・ propeller head
・ propeller key
・ proposal writing
・ proposition
・ proposition of a language useable for structured specifications
・ propositional calculus
・ propositional logic
・ proprietary
・ prose
proset
・ prosper
・ prospero
・ protalk
・ protected mode
・ proteus
・ protocal
・ protocol
・ protocol analyser
・ protocol converter


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

proset : FOLDOC
ProSet
A derivative of SETL with Ada-like syntax developed at the {University of Essen} in 1990. Formerly known as SETL/E.
["SETL/E, A Prototyping System Based on Sets", E.E. Doberkat et al, in Tagungsband TOOL90, W. Zorn ed, pp. 109-118, U Karlsruhe, Nov 1990].
["ProSet - A Language for Prototyping with Sets", E.-E. Doberkat et al, in Proc Third Intl Workshop on Rapid System Prototyping, N. Kanopoulos ed, IEEE Comp Soc Press, June 1992, pp. 235-248].



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

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