検索結果資料の内容

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

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

蔵書情報

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

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

資料の状態

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

No. 資料番号 資料種別 請求記号 配架場所 状態 貸出
1 0011204989図書一般007.63/ﾌｼ12/書庫貸出可  ○

この資料に対する操作

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

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

この資料に対する操作

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

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

書誌情報サマリ

タイトル

組み込みソフトへの数理的アプローチ

人名 藤倉 俊幸／著
人名ヨミ フジクラ トシユキ
出版者・発行者 CQ出版
出版年月 2012.4

書誌詳細

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

書誌種別 図書
タイトル 組み込みソフトへの数理的アプローチ
サブタイトル 形式手法によるソフトウェアの仕様記述と検証
シリーズ名 COMPUTER TECHNOLOGY
タイトルヨミ クミコミ ソフト エノ スウリテキ アプローチ
サブタイトルヨミ ケイシキ シュホウ ニ ヨル ソフトウェア ノ シヨウ キジュツ ト ケンショウ
シリーズ名ヨミ コンピュータ テクノロジー
人名 藤倉 俊幸／著
人名ヨミ フジクラ トシユキ
出版者・発行者 CQ出版
出版者・発行者等ヨミ シーキュー シュッパン
出版地・発行地 東京
出版・発行年月 2012.4
ページ数または枚数・巻数 247p
大きさ 24cm
価格 ￥３２００
ISBN 978-4-7898-3808-5
ISBN 4-7898-3808-5
注記 文献:p240〜243
分類記号 007.63
件名 組み込みシステム ／ ソフトウェア
内容紹介 数学を基礎とし、プログラムの正しさを証明していこうという考え方「形式手法」。形式仕様記述や形式検証について、LTSA、Alloy、CBMC等のツールを使って解説。『Interface』連載をまとめて単行本化。
言語区分 JPN
タイトルコード 1009811540616



目次


内容細目

関連資料

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

組み込みシステム　ソフトウェア
【デジタルビークルの知られざる正体　…】 デジタルビークルの知られざる正体　…
鶴原 吉郎／著 【Googleサービス完全マニュアル…】 Googleサービス完全マニュアル…
桑名 由美／著 【<入門>ドメイン駆動設計　：　基礎…】 <入門>ドメイン駆動設計　：　基礎…
増田 亨／[ほか… 【脳に収まるコードの書き方　：　複雑…】 脳に収まるコードの書き方　：　複雑…
Mark See… 【ソフトウェア開発現場の「失敗」集め…】 ソフトウェア開発現場の「失敗」集め…
出石 聡史／著 【つくって、壊して、直して学ぶKub…】 つくって、壊して、直して学ぶKub…
高橋 あおい／著… 【ゼロから学ぶGit/GitHub　…】 ゼロから学ぶGit/GitHub　…
渡辺 宙志／著 【イラストでわかるDockerとKu…】 イラストでわかるDockerとKu…
徳永 航平／著 【GitLab実践ガイド　：　The…】 GitLab実践ガイド　：　The…
北山 晋吾／著,… 【Docker/Kubernetes…】 Docker/Kubernetes…
山田 明憲／著 【これからの「ソフトウェアづくり」と…】 これからの「ソフトウェアづくり」と…
石川 冬樹／著,… 【開発系エンジニアのためのDocke…】 開発系エンジニアのためのDocke…
鈴木 亮／著 【アジャイル開発の基礎知識と導入方法…】 アジャイル開発の基礎知識と導入方法…
増田 智明／著 【DX時代の最強PMOになる方法　：…】 DX時代の最強PMOになる方法　：…
甲州 潤／著 【セキュアなソフトウェアの設計と開発…】 セキュアなソフトウェアの設計と開発…
ローレン・コンフ… 【ソフトウェア開発にChatGPTは…】 ソフトウェア開発にChatGPTは…
小野 哲／著 【Arduinoで学ぶ組込みシステム…】 Arduinoで学ぶ組込みシステム…
猪股 俊光／著 【ソフトウェアテストのセオリー　：　…】 ソフトウェアテストのセオリー　：　…
小川 秀人／共著… 【Docker実践ガイド　：　コンテ…】 Docker実践ガイド　：　コンテ…
古賀 政純／著 【Good Code,Bad Cod…】 Good Code,Bad Cod…
Tom Long… 【AIリスク・マネジメント　：　信頼…】 AIリスク・マネジメント　：　信頼…
中島 震／著 【単体テストの考え方/使い方】 単体テストの考え方/使い方
Vladimir… 【新アプリ法務ハンドブック】 新アプリ法務ハンドブック
増田 雅史／編著… 【マイクロサービスアーキテクチャ】 マイクロサービスアーキテクチャ
Sam Newm… 【ベンダーとユーザーのためのソフトウ…】 ベンダーとユーザーのためのソフトウ…
EY新日本有限責…
もどる
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。