• ＤａｎｉｅｌＪａｃｋｓｏｎ/中島震/今井健男/酒井政裕/遠藤侑介/片岡欣夫
• オーム社

• ASIN： B07BKRG85J
• Kindle版

• 
  単行本（ソフトカバー）
  抽象によるソフトウェア設計−Alloyではじめる形式手法−

新刊チェックキーワード

• 形式手法 2 users
• 形式手法 1 user