※上記の広告は60日以上更新のないWIKIに表示されています。更新することで広告が下部へ移動します。

抽象によるソフトウェア設計/付録 A 練習問題 解答例

形式仕様記述ツールAlloy Analyzerの解説本「Software Abstractions」の邦訳「抽象によるソフトウェア設計-Alloyではじめる形式手法」が出版されたので、これを機会に書籍の付録にある練習問題に(興味のある箇所をつまみ食い的に)挑戦してみる。

抽象によるソフトウェア設計/付録 A 練習問題 解答例            


Today: -
Yesterday: -

|新しいページ|検索|ページ一覧|RSS|@ウィキご利用ガイド | 管理者にお問合せ
|ログイン|