Automatic verification of programs with complex data structures

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

• CRID

  1130000794910662656

• NII書誌ID

  BA2607307X

• ISBN

  0824044258

• LCCN

  79007311

• Web Site

  https://lccn.loc.gov/79007311

• 出版国コード

  us

• タイトル言語コード

  en

• 出版地

  • New York

• 分類

  • LCC: QA76.6
  • DC: 001.6/425

• 件名

  • LCSH: Computer programs -- Verification
  • LCSH: Programming languages (Electronic computers) -- Semantics
  • LCSH: Data structures (Computer science)

• データソース種別

  • CiNii Books