資料詳細

  • 1 件中、 1 件目

[ 和図書 ] Bメソッドによる形式仕様記述 ソフトウェアシステムのモデル化とその検証 ( トップエスイー実践講座 1 )

来間 啓伸／著 -- 近代科学社 -- 2007.12 --

所蔵

所蔵は 1 件です。

所蔵館 所蔵場所 資料区分 請求記号 資料コード 所蔵状態 資料の利用
配架日 協力貸出 利用状況 返却予定日 資料取扱 予約数 付録注記 備考
中央 書庫 一般図書 /007.6/6535/2007 5014506808 Digital BookShelf
2008/02/04 可能 利用可   0
Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

ページの先頭へ

資料詳細 閉じる

ISBN 4-7649-0347-0
ISBN13桁 978-4-7649-0347-0
タイトル Bメソッドによる形式仕様記述
タイトルカナ ビー メソッド ニ ヨル ケイシキ シヨウ キジュツ
タイトル関連情報 ソフトウェアシステムのモデル化とその検証
タイトル関連情報読み ソフトウェア システム ノ モデルカ ト ソノ ケンショウ
著者名 来間 啓伸 ／著, 中島 震 ／監修
著者名典拠番号

110005164370000 , 110003839040000

出版地 東京
出版者 近代科学社
出版者カナ キンダイ カガクシャ
出版年 2007.12
ページ数 19, 213p
大きさ 24cm
シリーズ名 トップエスイー実践講座
シリーズ名のルビ等 トップ エスイー ジッセン コウザ
シリーズ番号 1
シリーズ番号読み 1
シリーズの編者等 本位田 真一／監修
シリーズの編者等の典拠番号

110001351720000

価格 ¥3600
内容紹介 組織的なソフトウェア開発に関心のある産業界の技術者や大学院生を対象としたBメソッドの入門書。実際の開発への適用を意識した実用指向の内容を平明でわかりやすく記述。形式手法の理解と習得に役立つ書。
書誌・年譜・年表 文献:p167〜169
一般件名 ソフトウェア
一般件名カナ ソフトウェア
一般件名 ソフトウェア工学
一般件名カナ ソフトウェア コウガク
一般件名典拠番号

511743600000000

分類：都立NDC10版 007.63
資料情報1 『Bメソッドによる形式仕様記述 ソフトウェアシステムのモデル化とその検証』（トップエスイー実践講座 1）　来間 啓伸／著, 中島 震／監修 　近代科学社　2007.12（所蔵館：中央　 請求記号：/007.6/6535/2007　 資料コード：5014506808）
URL https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1107393412

ページの先頭へ