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

著者

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

書誌事項

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

田口研治, 来間啓伸著

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

近大科学社, 2006.3

タイトル読み

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

注記

監修: 中島震

詳細情報

• NII書誌ID(NCID): BB08537846
• ISBN:
  • 9784764903258
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: vi, 107p
• 大きさ: 26cm
• 親書誌ID:
  • BB08537653