資料詳細

[ 和図書 ] ソフトウェア科学基礎最先端のソフトウェア開発に求められる数理的基礎 ( トップエスイー基礎講座 1 )

田中譲／監修 -- 近代科学社 -- 2008.9 --

所蔵

所蔵は 1 件です。

所蔵館	所蔵場所	資料区分	請求記号	資料コード	所蔵状態	資料の利用
配架日	協力貸出	利用状況	返却予定日	資料取扱	予約数	付録注記	備考
中央	書庫	一般図書	/007.6/7222/2008	5017308369		Digital BookShelf
2009/12/08	可能	利用可			0

Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

ページの先頭へ

資料詳細

ISBN	4-7649-0355-5
ISBN13桁	978-4-7649-0355-5
タイトル	ソフトウェア科学基礎
タイトルカナ	ソフトウェアカガクキソ
タイトル関連情報	最先端のソフトウェア開発に求められる数理的基礎
タイトル関連情報読み	サイセンタンノソフトウェアカイハツニモトメラレルスウリテキキソ
著者名	田中譲／監修, 磯部祥尚／著, 粂野文洋／著, 櫻庭健年／著, 田口研治／著, 田原康之／著
著者名典拠番号	110000626100000 , 110004548830000 , 110005359960000 , 110005359970000 , 110005359980000 , 110005075050000
出版地	東京
出版者	近代科学社
出版者カナ	キンダイカガクシャ
出版年	2008.9
ページ数	13, 345p
大きさ	24cm
シリーズ名	トップエスイー基礎講座
シリーズ名のルビ等	トップエスイーキソコウザ
シリーズ番号	1
シリーズ番号読み	1
シリーズの編者等	本位田真一／シリーズ監修
シリーズの編者等の典拠番号	110001351720000
価格	¥3800
内容紹介	形式仕様記述とモデル検査を用いたシステム開発に関する入門書。形式仕様記述の基礎である集合論、論理学や、モデル検査の基礎である時相論理、オートマン、並行プログラムの基礎的な知識を重点的に解説する。
書誌・年譜・年表	文献:p335〜338
一般件名	ソフトウェア工学
一般件名カナ	ソフトウェアコウガク
一般件名	ソフトウェア工学
一般件名カナ	ソフトウェアコウガク
一般件名典拠番号	511743600000000
分類：都立NDC10版	007.63
資料情報1	『ソフトウェア科学基礎最先端のソフトウェア開発に求められる数理的基礎』（トップエスイー基礎講座 1）　田中譲／監修, 磯部祥尚／著 , 粂野文洋／著　近代科学社　2008.9（所蔵館：中央　請求記号：/007.6/7222/2008　資料コード：5017308369）
URL	https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1107633031

ページの先頭へ