Search by Bookstore
Table of Contents
第0章 これから技術者をめざすひとのために 第1章 論理―正しいと考えられる事柄から正しい事柄を新たに導く 第2章 集合―多様な構造や構成の方法を知る 第3章 並行プログラム―並行性に特有の概念と知識を学ぶ 第4章 時相論理―システムやプログラムの動的な性質を記述する 第5章 検証性質の記述―一般の技術者がシステムの性質を記述する 第6章 オートマトン―コンピュータの動作を形式的に表現する 第7章 モデル検査基礎―並行システムのモデル検査を行う 第8章 モデル検査実装―検証モデル記述のノウハウを利用する 第9章 抽象解釈―モデル検査の複雑さを軽減する 第10章 モデル検査ツール―SPIN,SMV,LTSA,UPPAALを使う
Holdings of Libraries in Japan
This page shows libraries in Japan other than the National Diet Library that hold the material.
Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.
Kanto
茨城県立図書館
Paper- Call No.:
- 007.6/タナ/
千葉県立西部図書館
Paper- Call No.:
- 00763/ 71/
- Book Registration Number:
- 1102133940
東京都立中央図書館
Paper- Call No.:
- 007.6-7222-2008
- Book Registration Number:
- 5017308369
神奈川県立川崎図書館
Paper- Call No.:
- 007.63-2428
- Book Registration Number:
- 81322224
横浜市立図書館
Paper- Call No.:
- 007.613965
- Book Registration Number:
- 2041060380
Search by Bookstore
Publication bibliographic database Find a bookstore where you can purchase books from
Books is a database of the publishing industry with information provided by publishers. You can search for currently available paperbacks and eBooks.
Find by another way
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 図書
- ISBN
- 978-4-7649-0355-5
- Title Transcription
- ソフトウェア カガク キソ : サイセンタン ノ ソフトウェア カイハツ ニ モトメラレル スウリテキ キソ
- Author/Editor
- 田中譲 監修磯部祥尚, 粂野文洋, 櫻庭健年, 田口研治, 田原康之 著
- Series Title
- Author/Editor (Series Title)
- 本位田真一 監修
- Author Heading
- 田中, 譲, 1950- タナカ, ユズル, 1950- ( 00179761 )Authorities磯部, 祥尚 イソベ, ヨシナオ ( 01140681 )Authorities粂野, 文洋 クメノ, フミヒロ ( 01140682 )Authorities櫻庭, 健年 サクラバ, タケトシ ( 01140684 )Authorities本位田, 真一, 1953- ホンイデン, シンイチ, 1953- ( 00192997 )Authorities
- Publication, Distribution, etc.
- Publication Date
- 2008.9