Predicate transformer semantics

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

• CRID

  1130282273121124352

• NII書誌ID

  BA19094375

• ISBN

  0521420369

• LCCN

  92249094

• Web Site

  https://lccn.loc.gov/92249094

• 本文言語コード

  en

• 出版国コード

  uk

• タイトル言語コード

  en

• 出版地

  • Cambridge ; New York, NY, USA

• 分類

  • LCC: QA76.7
  • DC20: 005.13/1

• 件名

  • LCSH: Programming languages (Electronic computers) -- Semantics
  • LCSH: Computer science -- Mathematics

• データソース種別

  • CiNii Books