Runtime verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018 : proceedings

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

• CRID

  1130000798081921664

• NII書誌ID

  BB27409708

• ISBN

  9783030037680

• 本文言語コード

  en

• 出版国コード

  sz

• タイトル言語コード

  en

• 出版地

  • Cham

• 分類

  • LCC: QA76.76.V47
  • DC23: 005.1/4

• 件名

  • LCSH: Computer science
  • LCSH: Computer software -- Verification -- Congresses
  • LCSH: Formal methods (Computer science) -- Congresses
  • LCSH: Computer software -- Testing -- Congresses
  • LCSH: Software engineering
  • LCSH: Computer system performance
  • LCSH: Logic design
  • LCSH: Computer industry

• データソース種別

  • CiNii Books