技術書ランキング
タグ一覧
Home
>
抽象によるソフトウェア設計 ―Alloyではじめる形式手法
抽象によるソフトウェア設計 ―Alloyではじめる形式手法
著者: 酒井政裕遠藤侑介
Amazonで見る
紹介記事
Alloyでパズル (1) ウソつき問題
👍 5
Alloyでパズル (13) ヤギ、キャベツ、狼 もしくは Fox, Chicken, Grain
👍 1
Alloyでパズル (6) Halmos の握手問題
👍 0
Alloyで書こう：私は彼？
👍 0
関連するタグ
どう書く
AlloyAnalyzer
形式手法
