A survey of verification techniques for parallel programs

Details 詳細情報について

• CRID

  1130000796868900608

• NII Book ID

  BA00491799

• ISBN

  3540152393

  0387152393

• LCCN

  85009945

• Web Site

  https://lccn.loc.gov/85009945

• Text Lang

  en

• Country Code

  gw

• Title Language Code

  en

• Place of Publication

  • Berlin ; New York ; Tokyo

• Classification

  • LCC: QA76.5
  • DC19: 001.64
  • NDC8: 007.64

• Subject

  • LCSH: Parallel processing (Electronic computers)
  • LCSH: Computer programs -- Verification
  • NDLSH: プログラミング(電子計算機)

• Data Source

  • CiNii Books