図書

VDM++による形式仕様記述 : 形式仕様入門・活用の第一歩 (トップエスイー実践講座 ; 4)

Icons representing 図書
The cover of this title could differ from library to library. Link to Help Page

VDM++による形式仕様記述 : 形式仕様入門・活用の第一歩

(トップエスイー実践講座 ; 4)

Call No. (NDL)
M159-J1362
Bibliographic ID of National Diet Library
000011238618
Material type
図書
Author
石川冬樹 著ほか
Publisher
近代科学社
Publication date
2011.7
Material Format
Paper
Capacity, size, etc.
224p ; 24cm
NDC
007.61
View All

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

Tokai-Hokuriku

Kinki

  • 岡山県立図書館

    Paper
    Call No.:
    007.63/イシ11/
    Book Registration Number:
    0010680742
  • CiNii Research

    Search Service
    Paper
    You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.

Search by Bookstore

Publication bibliographic database Books 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.

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.

Paper Digital

Material Type
図書
ISBN
978-4-7649-0409-5
Title Transcription
VDM ++ ニ ヨル ケイシキ シヨウ キジュツ : ケイシキ シヨウ ニュウモン カツヨウ ノ ダイイッポ
Author/Editor
石川冬樹 著
荒木啓二郎 監修
Author Heading
石川, 冬樹 イシカワ, フユキ ( 01235605 )Authorities
荒木, 啓二郎, 1954- アラキ, ケイジロウ, 1954- ( 00166447 )Authorities
本位田, 真一, 1953- ホンイデン, シンイチ, 1953- ( 00192997 )Authorities
Publication, Distribution, etc.
Publication Date
2011.7
Publication Date (W3CDTF)
2011