書店で探す
目次
第1章 形式手法概論 第2章 形式仕様の作成 第3章 抽象機械 第4章 仕様から実装へのステップ 第5章 リファインメント 第6章 インプリメンテーション 第7章 事例研究 第8章 次のステップ 付録A 演習問題の解答 付録B B言語の記号 付録C Bによる事例研究の記述
全国の図書館の所蔵
国立国会図書館以外の全国の図書館の所蔵状況を表示します。
所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください
関東
さいたま市立中央図書館
紙- 請求記号：
- 007.63 ｸﾙ
- 図書登録番号：
- 28100511451
東京都立中央図書館
紙- 請求記号：
- 007.6-6535-2007
- 図書登録番号：
- 5014506808
横浜市立図書館
紙- 請求記号：
- 007.613922
- 図書登録番号：
- 2039715280
近畿
大阪府立中央図書館
紙- 請求記号：
- 007.6/4902N
- 図書登録番号：
- 1115674283
大阪市立図書館
紙- 図書登録番号：
- 0011562424
書店で探す
出版書誌データベース 
から購入できる書店を探す
『Books』は各出版社から提供された情報による出版業界のデータベースです。 現在入手可能な紙の本と電子書籍を検索することができます。
別の方法で探す
書誌情報
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。
- 資料種別
- 図書
- ISBN
- 978-4-7649-0347-0
- タイトルよみ
- B メソッド ニ ヨル ケイシキ シヨウ キジュツ : ソフトウェア システム ノ モデルカ ト ソノ ケンショウ
- 著者・編者
- 中島震 監修来間啓伸 著
- シリーズタイトル
- シリーズ著者・編者
- 本位田真一 監修
- 著者標目
- 中島, 震, 1955- ナカジマ, シン, 1955- ( 00892083 )典拠本位田, 真一, 1953- ホンイデン, シンイチ, 1953- ( 00192997 )典拠
- 出版事項
- 出版年月日等
- 2007.12