抽象解釈に基づくソフトウェアの段階的構成法とその評価

Author(s)

Bibliographic Information

抽象解釈に基づくソフトウェアの段階的構成法とその評価

吉岡信和[著]

吉岡信和, 1998.3

Title Transcription

チュウショウ カイシャク ニ モトズク ソフトウェア ノ ダンカイテキ コウセイホウ ト ソノ ヒョウカ

Available at  / 1 libraries

Search this Book/Journal

Note

博士論文(北陸先端科学技術大学院大学, 1998, 博情第32号)

Details

  • NCID
    BA38631970
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpn
  • Place of Publication
    [辰口町(石川県)]
  • Pages/Volumes
    v,108枚
  • Size
    30cm
Page Top