検索結果資料の内容

図書
ログインすると表紙画像を
ご覧になれます
ご利用の地域の図書館が所蔵している場合、そちらの方が早く借りられることもあります。
また、ご利用の地域の図書館に申し込み、県立図書館の資料を取り寄せることもできます。
岡山県図書館横断検索

この資料の情報へのリンク：

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

資料の状態

各蔵書資料に関する詳細情報です。

No. 資料番号 資料種別 請求記号 配架場所 状態 貸出
1 0009756503図書一般007.61/ｻﾝ10/書庫貸出可  ○

この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。

登録するリストログインメモ

書誌情報サマリ

タイトル

モデル検査　初級編　　基礎から実践まで4日で学べる　

人名 産業技術総合研究所システム検証研究センター／著
人名ヨミ サンギョウ ギジュツ ソウゴウ ケンキュウジョ システム ケンショウ ケンキュウ センター
出版者・発行者 ナノオプト・メディア
出版年月 2009.11

書誌詳細

この資料の書誌詳細情報です。

書誌種別 図書
タイトル モデル検査　初級編　　基礎から実践まで4日で学べる　
シリーズ名 CVS教程
シリーズ番号 1
タイトルヨミ モデル ケンサ　ショキュウヘン　　キソ カラ ジッセン マデ ヨッカ デ マナベル　
シリーズ名ヨミ シーヴイエス キョウテイ
シリーズ番号ヨミ 1
人名 産業技術総合研究所システム検証研究センター／著
人名ヨミ サンギョウ ギジュツ ソウゴウ ケンキュウジョ システム ケンショウ ケンキュウ センター
出版者・発行者 ナノオプト・メディア ／ 近代科学社(発売)
出版者・発行者等ヨミ ナノオプト メディア／キンダイ カガクシャ
出版地・発行地 東京／東京
出版・発行年月 2009.11
ページ数または枚数・巻数 12,191p
大きさ 21cm
価格 ￥２８００
ISBN 978-4-7649-5505-9
ISBN 4-7649-5505-9
注記 文献:p164
分類記号 007.61
件名 システム設計
内容紹介 初級プログラミングの経験者を対象に、モデル検査法の概要、必要となる論理(LTL)、作業手順をコンパクトに紹介する。ソフトウェア開発の現場にモデル検査を適用する際に参考となるような例題を中心に構成。
言語区分 jpn
タイトルコード 1009811242361



目次


内容細目

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

007.61　007.61
【よくわかる最新システム開発者のため…】 よくわかる最新システム開発者のため…
増田 智明／著 【間違いだらけの設計レビュー　：　な…】 間違いだらけの設計レビュー　：　な…
森崎 修司／著 【システム設計のセオリー2】 システム設計のセオリー2
 【Arduinoで学ぶ組込みシステム…】 Arduinoで学ぶ組込みシステム…
猪股 俊光／著 【図解まるわかり要件定義のきほん】 図解まるわかり要件定義のきほん
西村 泰洋／著,… 【よくわかる最新要求定義の基本と実践…】 よくわかる最新要求定義の基本と実践…
佐川 博樹／著 【システムの失敗を克服するメタシステ…】 システムの失敗を克服するメタシステ…
中村 隆文／著 【ITレジリエンスの教科書　：　止ま…】 ITレジリエンスの教科書　：　止ま…
大和総研／著 【UMLのしくみと実装がこれ1冊でし…】 UMLのしくみと実装がこれ1冊でし…
尾崎 惇史／著 【はじめての設計をやり抜くための本　…】 はじめての設計をやり抜くための本　…
吉原 庄三郎／著 【カオスエンジニアリング入門】 カオスエンジニアリング入門
澤橋 松王／監修… 【オブジェクト指向でなぜつくるのか　…】 オブジェクト指向でなぜつくるのか　…
平澤 章／著 【オブジェクト指向の考え方　：　概念…】 オブジェクト指向の考え方　：　概念…
Matt Wei… 【ローコード革命】 ローコード革命
篠田 ヒロシ／著… 【要件定義のセオリーと実践方法がこれ…】 要件定義のセオリーと実践方法がこれ…
上村 有子／著 【元セールスが伝えたい情報システム構…】 元セールスが伝えたい情報システム構…
山田 耕嗣／編著 【システム技術に基づく安全設計ガイド…】 システム技術に基づく安全設計ガイド…
組込みシステム技… 【トコトンやさしい組込みシステムの本】 トコトンやさしい組込みシステムの本
坂巻 佳壽美／著 【組込みエンジニアの教科書】 組込みエンジニアの教科書
渡辺 登／著,牧… 【よくわかる最新システム開発者のため…】 よくわかる最新システム開発者のため…
増田 智明／著 【インフラ設計のセオリー　：　要件定…】 インフラ設計のセオリー　：　要件定…
JIEC基盤エン… 【形式的モデル化　：　離散事象/実時…】 形式的モデル化　：　離散事象/実時…
平石 邦彦／著 【システム開発のための見積りのすべて…】 システム開発のための見積りのすべて…
佐藤 大輔／著,… 【本当に使える開発プロセス　：　シス…】 本当に使える開発プロセス　：　シス…
岡 大勝／著,三… 【インフラCI実践ガイド　：　Ans…】 インフラCI実践ガイド　：　Ans…
中島 倫明／著,…
システム設計
【図解!システム開発で失敗しないため…】 図解!システム開発で失敗しないため…
中田 亨／著,三… 【エクスペリエンス指向のシステム開発…】 エクスペリエンス指向のシステム開発…
NSSOLアカデ… 【システム外注の知識と実践がこれ1冊…】 システム外注の知識と実践がこれ1冊…
青山システムコン… 【システム障害対応の教科書】 システム障害対応の教科書
木村 誠明／著 【よくわかる最新システム開発者のため…】 よくわかる最新システム開発者のため…
増田 智明／著 【事例から学ぶシステム開発契約書作成…】 事例から学ぶシステム開発契約書作成…
吉羽 真一郎／編… 【間違いだらけの設計レビュー　：　な…】 間違いだらけの設計レビュー　：　な…
森崎 修司／著 【運用設計のセオリー　：　インフラか…】 運用設計のセオリー　：　インフラか…
小出 淳平／共著… 【3カ月で改善!システム障害対応実践…】 3カ月で改善!システム障害対応実践…
野村 浩司／著,… 【運用設計の教科書　：　現場でもっと…】 運用設計の教科書　：　現場でもっと…
日本ビジネスシス… 【システム設計のセオリー2】 システム設計のセオリー2
 【kintoneファース…2023年版】 kintoneファース…2023年版
相澤 裕介／著 【クラウドネイティブ時代のデータ基盤…】 クラウドネイティブ時代のデータ基盤…
川上 明久／著 【エンジニアが学ぶ在庫管理システムの…】 エンジニアが学ぶ在庫管理システムの…
GeNEE DX… 【図解まるわかり要件定義のきほん】 図解まるわかり要件定義のきほん
西村 泰洋／著,… 【SI企業の進む道　：　業界歴40年…】 SI企業の進む道　：　業界歴40年…
室脇 慶彦／著 【よくわかる最新要求定義の基本と実践…】 よくわかる最新要求定義の基本と実践…
佐川 博樹／著 【行政情報システム受託・開発の教科書】 行政情報システム受託・開発の教科書
根本 直樹／著 【システム開発成功のカギは「オーナー…】 システム開発成功のカギは「オーナー…
澁谷 裕以／著 【ITレジリエンスの教科書　：　止ま…】 ITレジリエンスの教科書　：　止ま…
大和総研／著 【UMLのしくみと実装がこれ1冊でし…】 UMLのしくみと実装がこれ1冊でし…
尾崎 惇史／著 【御社のシステム発注は、なぜ「ベンダ…】 御社のシステム発注は、なぜ「ベンダ…
田村 昇平／著 【はじめての設計をやり抜くための本　…】 はじめての設計をやり抜くための本　…
吉原 庄三郎／著 【クラウドシステム移行・導入　：　ア…】 クラウドシステム移行・導入　：　ア…
金子 格／編著,… 【ポストモーテム　：　みずほ銀行シス…】 ポストモーテム　：　みずほ銀行シス…
日経コンピュータ…
もどる
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。