【Alloy】形式言語による仕様記述【VDM】


↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

1 名前：デフォルトの名無しさん mailto:sage [2013/01/05(土) 21:09:06.67 .net]: スレがないので立ててみた

参考ページ
en.wikipedia.org/wiki/Formal_methods
ja.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E6%89%8B%E6%B3%95
300 名前：デフォルトの名無しさん [2018/07/04(水) 22:59:43.98 ID:gFgZc5FG.net]: LGL
301 名前：デフォルトの名無しさん mailto:sage [2018/07/06(金) 12:34:31.11 ID:uTPDH9XV.net]: ZLPAL

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef