出版社を探す

抽象によるソフトウェア設計

Alloyではじめる形式手法

著:Daniel Jackson
監訳:中島 震
他訳:今井 健男

紙版

内容紹介

Alloy(アロイ)を通じて形式手法を学ぶ

ISBN:9784274068584
出版社:オーム社
判型:A5
ページ数:368ページ
定価:4500円(本体)
発行年月日:2011年07月
国際分類コード【Thema(シーマ)】 1:UB