出版社を探す

形式手法入門

ロジックによるソフトウェア設計

著:中島 震

紙版

内容紹介

初歩から実務まで学べる形式手法の解説書

ISBN:9784274211881
出版社:オーム社
判型:A5
ページ数:192ページ
定価:2800円(本体)
発行年月日:2012年04月
国際分類コード【Thema(シーマ)】 1:UB