Piton : a mechanically verified assembly-level language

Author(s)

• Moore, J. Strother

Bibliographic Information

Piton : a mechanically verified assembly-level language

by J. Strother Moore

（Automated reasoning series, v. 3）

Kluwer Academic Publishers, 1996

Note

Includes index

Details

• NCID: BA27244509
• ISBN:
  • 0792339207
• LCCN: 95048177
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Dordrecht ; Boston
• Pages/Volumes: viii, 320 p.
• Size: 25 cm
• Classification:
  • LCC : QA76.73.P58
  • DC20 : 005.265
• Subject Headings:
  • LCSH : Piton (Computer program language)
  • LCSH : Assembler language (Computer program language)
  • LCSH : FM9001 (Microprocessor) -- Programming
• Parent Bibliography ID:
  • BA13266944