商品詳細 | Knowledge Worker

ＳＰＩＮモデル検査～検証モデリング技法～　

在庫状況有り	お届け予定日 3～4日	数量冊
価格 \4,180（税込）

発行年月	2008年04月
出版社／提供元	近代科学社
言語	日本語
媒体	冊子
ページ数／巻数	２３８ｐ
大きさ	24
ジャンル	和書
ISBN	9784764903531
商品コード	0108031693
NDC分類	007.63
基本件名	ソフトウェア工学
商品URL	https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0108031693

著者紹介

中島　震（著者）：〈中島震〉東京大学大学院理学系研究科修士課程修了。国立情報学研究所教授・総合研究大学院大学教授。学術博士（東京大学）。形式手法、自動検証、ソフトウェア・モデリングなどの研究に従事。

内容

モデル検査法の自動検証ツールの中で、もっとも実用的なＳＰＩＮにはじめて触れるソフトウェア技術者向け入門書。前半はＰｒｏｍｅｌａ／ＳＰＩＮの基本的事項を説明し、後半は適用事例を紹介する。

カート

カートに商品は入っていません。