VDM++による形式仕様記述 : 形式仕様入門・活用の第一歩 (トップエスイー実践講座 ; 4)
VDM++による形式仕様記述 : 形式仕様入門・活用の第一歩
(トップエスイー実践講座 ; 4)
- Call No. (NDL)
- M159-J1362
- Bibliographic ID of National Diet Library
- 000011238618
Notes on use
Note (General)：
- シリーズの監修者: 本位田真一
Detailed bibliographic record
Summary, etc.：
- 形式手法のVDMとオブジェクト指向記述言語VDM++について実践的に解説。ソフトウェア開発者、研究者、院生必読の書(Provided by: 出版情報登録センター（JPRO）)
Author introduction：
- 石川 冬樹 国立情報学研究所 所属荒木 啓二郎 九州大学 教授(Provided by: 出版情報登録センター（JPRO）)
Search by Bookstore
Table of Contents
第1章 形式手法とVDM 第2章 VDM概要 第3章 VDM++記述の構成要素 第4章 VDM++によるクラス記述 第5章 VDM++によるモデル化と例題(1)：集合 第6章 VDM++によるモデル化と例題(2)：列 第7章 VDM++によるモデル化と例題(3)：写像 第8章 VDM++ Toolboxの活用 第9章 VDM++ Toolboxにおける実装への展開 第10章 VDM++・VDM++ Toolboxを用いた開発 第11章 関連情報 付録A VDM++簡易リファレンス 付録B 練習問題解答
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-7960-2011
- Book Registration Number：
- 5020791298
横浜市立図書館
Paper- Call No.：
- 007.615009
- Book Registration Number：
- 2046851717
Tokai-Hokuriku
名古屋市図書館
Paper- Call No.：
- 00763//B1
- Book Registration Number：
- 0235846912
Kinki
大阪府立中央図書館
Paper- Call No.：
- 007.6/5748N/
- Book Registration Number：
- 1210354518
大阪市立図書館
Paper- Book Registration Number：
- 0012337652
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-0409-5
- Title Transcription
- VDM ++ ニ ヨル ケイシキ シヨウ キジュツ : ケイシキ シヨウ ニュウモン カツヨウ ノ ダイイッポ
- Author/Editor
- 石川冬樹 著荒木啓二郎 監修
- Series Title
- Author Heading
- 石川, 冬樹 イシカワ, フユキ ( 01235605 )Authorities荒木, 啓二郎, 1954- アラキ, ケイジロウ, 1954- ( 00166447 )Authorities本位田, 真一, 1953- ホンイデン, シンイチ, 1953- ( 00192997 )Authorities
- Publication, Distribution, etc.
- Publication Date
- 2011.7
- Publication Date (W3CDTF)
- 2011