資料詳細

【図書】 Ｂメソッドによる形式仕様記述

ソフトウェアシステムのモデル化とその検証 -- トップエスイー実践講座 --
来間啓伸／著, 中島震／監修 -- 近代科学社 -- ２００７．１２ -- ２４ｃｍ -- ２１３ｐ

タイトル	Ｂメソッドによる形式仕様記述
副書名	ソフトウェアシステムのモデル化とその検証
シリーズ名	トップエスイー実践講座
著者名等	来間啓伸／著, 中島震／監修
出版	近代科学社２００７．１２
大きさ等	２４ｃｍ２１３ｐ
分類	007.63
件名	電子計算機－ソフトウェア
注記	索引あり
要旨	日本初！待望のＢメソッド解説書。実際の開発への適用を意識した実用指向の内容で、形式手法の理解と習得に格好の書。
目次	第１章　形式手法概論；第２章　形式仕様の作成；第３章　抽象機械；第４章　仕様から実装へのステップ；第５章　リファインメント；第６章　インプリメンテーション；第７章　事例研究；第８章　次のステップ；付録
ISBN(13)、ISBN	978-4-7649-0347-0　　 4-7649-0347-4
書誌番号	1107095226
URL	https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1107095226

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館	所蔵場所	別置	請求記号	資料区分	状態	取扱	資料コード
中央	書庫		007.6/13922	一般書	利用可	-	2039715280