構成的プログラミングを実現する証明・検証・合成システム

Author(s)

Bibliographic Information

構成的プログラミングを実現する証明・検証・合成システム

佐藤雅彦研究代表

[佐藤雅彦], 1996.3

Other Title

平成7年度科学研究費補助金(一般研究B)研究成果報告書(課題番号06452387)

Title Transcription

コウセイテキ プログラミング オ ジツゲン スル ショウメイ ケンショウ ゴウセイ システム

Available at  / 1 libraries

Search this Book/Journal

Details

  • NCID
    BN15623953
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    engjpn
  • Place of Publication
    [京都]
  • Pages/Volumes
    202p
  • Size
    30cm
Page Top