抽象によるソフトウェア設計 : Alloyではじめる形式手法

情報なし

著者

Jackson, Daniel, 1963-、中島, 震, 1955-、今井, 健男、酒井, 政裕、遠藤, 侑介

出版社

オーム社

発売日

2011年7月発売

価格

4,500円（税込・書誌情報提供：openBD）

ISBN

9784274068584

発売済み