VDM-SLによる形式仕様記述 Formal specifications in VDM-SL

Author(s)

• 田口, 研治 タグチ, ケンジ
• 来間, 啓伸 クルマ, ヒロノブ
• 中島, 震 ナカジマ, シン

Bibliographic Information

VDM-SLによる形式仕様記述 = Formal specifications in VDM-SL

田口研治, 来間啓伸著

（Super architect series, . サイエンスによる知的ものづくり || サイエンス ニ ヨル チテキ モノズクリ ; 2）

近大科学社, 2006.3

Title Transcription

VDM-SL ニ ヨル ケイシキ シヨウ キジュツ = Formal specifications in VDM-SL

Note

監修: 中島震

• NCID: BB08537846
• ISBN:
  • 9784764903258
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: vi, 107p
• Size: 26cm
• Parent Bibliography ID:
  • BB08537653