書店で探す
目次
第0章 これから技術者をめざすひとのために 第1章 論理―正しいと考えられる事柄から正しい事柄を新たに導く 第2章 集合―多様な構造や構成の方法を知る 第3章 並行プログラム―並行性に特有の概念と知識を学ぶ 第4章 時相論理―システムやプログラムの動的な性質を記述する 第5章 検証性質の記述―一般の技術者がシステムの性質を記述する 第6章 オートマトン―コンピュータの動作を形式的に表現する 第7章 モデル検査基礎―並行システムのモデル検査を行う 第8章 モデル検査実装―検証モデル記述のノウハウを利用する 第9章 抽象解釈―モデル検査の複雑さを軽減する 第10章 モデル検査ツール―SPIN，SMV，LTSA，UPPAALを使う
全国の図書館の所蔵
国立国会図書館以外の全国の図書館の所蔵状況を表示します。
所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください
関東
茨城県立図書館
紙- 請求記号：
- 007.6/ﾀﾅ/
千葉県立西部図書館
紙- 請求記号：
- 00763/ 71/
- 図書登録番号：
- 1102133940
東京都立中央図書館
紙- 請求記号：
- 007.6-7222-2008
- 図書登録番号：
- 5017308369
神奈川県立川崎図書館
紙- 請求記号：
- 007.63-2428
- 図書登録番号：
- 81322224
横浜市立図書館
紙- 請求記号：
- 007.613965
- 図書登録番号：
- 2041060380
書店で探す
出版書誌データベース 
から購入できる書店を探す
『Books』は各出版社から提供された情報による出版業界のデータベースです。 現在入手可能な紙の本と電子書籍を検索することができます。
別の方法で探す
書誌情報
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。
- 資料種別
- 図書
- ISBN
- 978-4-7649-0355-5
- タイトルよみ
- ソフトウェア カガク キソ : サイセンタン ノ ソフトウェア カイハツ ニ モトメラレル スウリテキ キソ
- 著者・編者
- 田中譲 監修磯部祥尚, 粂野文洋, 櫻庭健年, 田口研治, 田原康之 著
- シリーズタイトル
- シリーズ著者・編者
- 本位田真一 監修
- 著者標目
- 田中, 譲, 1950- タナカ, ユズル, 1950- ( 00179761 )典拠本位田, 真一, 1953- ホンイデン, シンイチ, 1953- ( 00192997 )典拠
- 出版事項
- 出版年月日等
- 2008.9