Predicate transformer semantics

Details 詳細情報について

• CRID

  1130282273121124352

• NII Book ID

  BA19094375

• ISBN

  0521420369

• LCCN

  92249094

• Web Site

  https://lccn.loc.gov/92249094

• Text Lang

  en

• Country Code

  uk

• Title Language Code

  en

• Place of Publication

  • Cambridge ; New York, NY, USA

• Classification

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

• Subject

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

• Data Source

  • CiNii Books