検索結果資料の内容

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


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

蔵書情報

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

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

資料の状態

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

No. 資料番号 資料種別 請求記号 配架場所 状態 貸出
1 0005292834図書一般007.63/フイ03/書庫貸出可 

この資料に対する操作

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

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

この資料に対する操作

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


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


書誌情報サマリ

タイトル

ソフトウェア開発のモデル化技法

人名 J.フィッツジェラルド/著
人名ヨミ J フィッツジェラルド
出版者・発行者 岩波書店
出版年月 2003.2


書誌詳細

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

書誌種別 図書
タイトル ソフトウェア開発のモデル化技法
タイトルヨミ ソフトウェア カイハツ ノ モデルカ ギホウ
人名 J.フィッツジェラルド/著   P.G.ラーセン/著   荒木 啓二郎/[ほか]訳
人名ヨミ J フィッツジェラルド P G ラーセン アラキ ケイジロウ
人名ヨミ  
出版者・発行者 岩波書店
出版者・発行者等ヨミ イワナミ ショテン
出版地・発行地 東京
出版・発行年月 2003.2
ページ数または枚数・巻数 306p
大きさ 22cm
価格 ¥4800
ISBN 4-00-005609-3
注記 複合媒体資料
注記 付属資料:CD-ROM(1枚 12cm)
注記 原タイトル:Modelling systems
分類記号 007.63
件名 ソフトウェア
内容紹介 ISOで標準化された言語VDM-SLは、抽象性と厳密性を併せ持つ仕様記述言語で、モデル化に最適である。これを使えばシステムの全体構造を容易に把握できるようになり開発コストの削減にも役立つ。実践例とともに解説。
著者紹介 ニューキャスル大学等を経て、現在、(株)トランジティブ・テクノロジー社勤務。
言語区分 jpn
タイトルコード 1009810443040



目次


内容細目

関連資料

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

ソフトウェア
もどる

本文はここまでです。


ページの終わりです。