Piton
Subtitle: a mechanically verified assembly-level language
By: by J. Strother Moore.
Series: Automated reasoning series ;; v. 3
Publisher: Kluwer Academic Publishers
Published: 1996
Place of publication: Dordrecht; Boston
Language: eng
Number of pages: 320
Subjects: Piton (Computer program language); Assembler language (Computer program language); FM9001 (Microprocessor) -- Programming.
Notes: Includes bibliographical references (p. [305]-307) and index.