集合論に基づいた言語を作りたいat TECH

---

409:デフォルトの名無しさん
14/10/01 20:39:41.94 OzkCABBw.net
>>408
VDMには実行できるexplicit specと実行できないimplicit specがある。
その例は実行できないimplicit specのほう。
このリンク先のはみな実行できるexplicit spec
URLﾘﾝｸ(www.vdmtools.jp)

---

次ページ

続きを表示

1を表示

最新レス表示

レスジャンプ

類似スレ一覧

スレッドの検索

話題のニュース

おまかせリスト

オプション

しおりを挟む

スレッドに書込

スレッドの一覧

暇つぶし2ch