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

Available at  / 2 libraries

Note

監修: 中島震

Related Books: 1-1 of 1

Details

  • 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
Page Top