webcat_plusで詳細を確認

このページのリンク

<図書>
SPIN ニ ヨル セッケイ モデル ケンショウ : モデル ケンサ ノ ジッセン ソフトウェア ケンショウ
SPINによる設計モデル検証 : モデル検査の実践ソフトウェア検証 / 萩谷昌己監修 ; 吉岡信和, 青木利晃, 田原康之著
(トップエスイー実践講座 ; 3)

出版者 東京 : 近代科学社
出版年 2008.9
巻冊次 ISBN:9784764903548 ; PRICE:3600円+税 REFWLINK
ISBN 9784764903548
本文言語 日本語
別書名 表紙タイトル:Design model verification by SPIN
大きさ xvii, 226p ; 24cm
目次/あらすじ

書誌詳細を表示

一般注記 参考文献: p187-190
著者標目  萩谷, 昌己(1957-) <ハギヤ, マサミ>
 吉岡, 信和(1971-) <ヨシオカ, ノブカズ>
 青木, 利晃 <アオキ, トシアキ>
 田原, 康之 <タハラ, ヤスユキ>
分 類 NDC8:007.63
NDC9:007.63
件 名 BSH:ソフトウェア工学
書誌ID 1020163222
NCID BA8725948X WCLINK

所蔵情報を非表示

小:2閲B1FエリアA
007.63/Y92 10502021216490
 

 類似資料

 この資料を見た人はこんな資料も見ています