検索結果資料の内容

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

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

蔵書情報

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

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

資料の状態

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

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

この資料に対する操作

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

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

この資料に対する操作

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

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

書誌情報サマリ

タイトル

4日で学ぶモデル検査　初級編　

人名 産業技術総合研究所システム検証研究センター／著
人名ヨミ サンギョウ ギジュツ ソウゴウ ケンキュウジョ システム ケンショウ ケンキュウ センター
出版者・発行者 エヌ・ティー・エス
出版年月 2006.6

書誌詳細

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

書誌種別 図書
タイトル 4日で学ぶモデル検査　初級編　
シリーズ名 CVS教程
シリーズ番号 1
タイトルヨミ ヨッカ デ マナブ モデル ケンサ　ショキュウヘン　
シリーズ名ヨミ シーヴイエス キョウテイ
シリーズ番号ヨミ 1
人名 産業技術総合研究所システム検証研究センター／著
人名ヨミ サンギョウ ギジュツ ソウゴウ ケンキュウジョ システム ケンショウ ケンキュウ センター
出版者・発行者 エヌ・ティー・エス
出版者・発行者等ヨミ エヌティーエス
出版地・発行地 東京
出版・発行年月 2006.6
ページ数または枚数・巻数 12,174p
大きさ 26cm
価格 ￥２０００
ISBN 4-86043-119-7
付属資料 CD-ROM(1枚 12cm)
注記 複合媒体資料
注記 文献:p171
分類記号 007.61
件名 システム設計
内容紹介 システムの検証のために用いられている方法のなかで、今、最も注目されているモデル検査。「コンピュータの間違いをコンピュータで探す」というモデル検査法の概要、必要な予備知識(論理学)、作業手順をコンパクトに紹介。
言語区分 jpn
タイトルコード 1009810869656



目次


内容細目

関連資料

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

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

本文はここまでです。

ページの終わりです。