1 option
Piton : a mechanically verified assembly-level language / by J. Strother Moore.
LIBRA QA76.73.P58 M66 1996
Available from offsite location
- Format:
- Book
- Author/Creator:
- Moore, J Strother, 1947-
- Series:
- Automated reasoning series ; v. 3.
- Automated reasoning series ; v. 3
- Language:
- English
- Subjects (All):
- Piton (Computer program language).
- Assembly languages (Electronic computers).
- FM9001 (Microprocessor)--Programming.
- FM9001 (Microprocessor).
- Physical Description:
- viii, 320 pages : illustrations ; 25 cm.
- Place of Publication:
- Dordrecht ; Boston : Kluwer Academic Publishers, 1996.
- Notes:
- Includes bibliographical references (pages [305]-307) and index.
- ISBN:
- 0792339207
- OCLC:
- 33949181
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.