webcat_plusで詳細を確認

このページのリンク

<図書>
スピン モデル ケンサ : ケンショウ モデリング ギホウ
SPINモデル検査 : 検証モデリング技法 = Model checking with SPIN / 中島震著

出版者 東京 : 近代科学社
出版年 2008.4
巻冊次 ISBN:9784764903531 ; PRICE:3990円 REFWLINK
ISBN 9784764903531
本文言語 日本語
大きさ xiii, 238p ; 24cm
目次/あらすじ

書誌詳細を表示

一般注記 参考文献: p225-231
著者標目  中島, 震(1955-) <ナカジマ, シン>
分 類 NDC8:007.63
NDC9:007.63
件 名 BSH:ソフトウェア工学
書誌ID 1020150798
NCID BA85720861 WCLINK

所蔵情報を非表示

小:2閲B1FエリアA
007.63/N34 10502021178695
 

 類似資料

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