Algebraic Specification Techniques in Object Oriented Programming Environments

収録刊行物

  • LNCS562

    LNCS562 1991

    Springer-Verlag

被引用文献 (2)*注記

もっと見る

詳細情報 詳細情報について

  • CRID
    1573668924002922880
  • NII論文ID
    10004154741
  • データソース種別
    • CiNii Articles

問題の指摘

ページトップへ