webcat_plusで詳細を確認

このページのリンク

<図書>
SPIN モデル ケンサ ニュウモン
SPINモデル検査入門 / Mordechai Ben‐Ari著 ; 谷津弘一, 野中哲, 足立太郎共訳

出版者 東京 : オーム社
出版年 2010.3
巻冊次 ISBN:9784274208447 ; PRICE:3300円+税 REFWLINK
ISBN 9784274208447
本文言語 日本語
別書名 原タイトル:Principles of the Spin model checker
大きさ xx, 241p ; 21cm
目次/あらすじ

書誌詳細を表示

一般注記 参考文献: p[235]-236
監訳: 中島震
著者標目  Ben-Ari, M., 1948-
 谷津, 弘一 <ヤツ, ヒロカズ>
 野中, 哲 <ノナカ, アキラ>
 足立, 太郎 <アダチ, タロウ>
 中島, 震(1955-) <ナカジマ, シン>
分 類 NDC8:007.63
NDC9:007.63
件 名 BSH:ソフトウェア工学
書誌ID 1020225565
NCID BB0158133X WCLINK

所蔵情報を非表示

小:2閲B1FエリアA
007.63/B35 10502021311948
 

 類似資料

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