Piton : a mechanically verified assembly-level language

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

• CRID

  1130000798171349760

• NII書誌ID

  BA27244509

• ISBN

  0792339207

• LCCN

  95048177

• Web Site

  https://lccn.loc.gov/95048177

• 本文言語コード

  en

• 出版国コード

  ne

• タイトル言語コード

  en

• 出版地

  • Dordrecht ; Boston

• 分類

  • LCC: QA76.73.P58
  • DC20: 005.265

• 件名

  • LCSH: Piton (Computer program language)
  • LCSH: Assembler language (Computer program language)
  • LCSH: FM9001 (Microprocessor) -- Programming

• データソース種別

  • CiNii Books