資料詳細

【図書】 ＳＰＩＮモデル検査入門

Ｍｏｒｄｅｃｈａｉ　Ｂｅｎ－Ａｒｉ／著, 中島震／監訳, 谷津弘一／共訳, 野中哲／共訳, 足立太郎／共訳 -- オーム社 -- ２０１０．３ -- ２１ｃｍ -- ２４１ｐ

タイトル	ＳＰＩＮモデル検査入門
著者名等	Ｍｏｒｄｅｃｈａｉ　Ｂｅｎ－Ａｒｉ／著, 中島震／監訳, 谷津弘一／共訳, 野中哲／共訳, 足立太郎／共訳
出版	オーム社２０１０．３
大きさ等	２１ｃｍ２４１ｐ
分類	007.63
件名	電子計算機－ソフトウェア , 信頼性（工学）
注記	Ｐｒｉｎｃｉｐｌｅｓ　ｏｆ　ｔｈｅ　Ｓｐｉｎ　ｍｏｄｅｌ　ｃｈｅｃｋｅｒ．／の翻訳
注記	文献あり　索引あり
内容紹介	ＳＰＩＮを学ぶための優れた入門書の日本語翻訳。徐々にカリキュラムの難度を上げながらＳＰＩＮを実際に動かしつつ、モデル記述やＳＰＩＮを用いた検証を支える考え方や概念まで、着実に身につけることができる書。
目次	ＰＲＯＭＥＬＡ逐次モデル記述；逐次モデル記述の検証；並行性；同期機構；時相論理による検証；データとモデル記述の構造；通信チャネル；非決定性；ＰＲＯＭＥＬＡの高度な使い方；ＳＰＩＮの高度な話題；ケーススタディ
ISBN(13)、ISBN	978-4-274-20844-7　　 4-274-20844-3
書誌番号	1110021536
URL	https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1110021536

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館	所蔵場所	別置	請求記号	資料区分	状態	取扱	資料コード
中央	書庫		007.6/14548	一般書	利用可	-	2044175730