| Shelfclass_id | 4.B.3 |
| Sortkey | MOORE, J. STROTHER |
| Authors | J. Strother Moore |
| Title | Piton: A Mechanically Verified Assembly-Level Language |
| Publisher | Kluwer Academic Publishers |
| Year | c1996 |
| Languages | eng |
| Isbn | 0792339207 |
| Series | Automated reasoning series |
| Volume | 3 |
| Description | viii, 320 p. ill. 25 cm. |
| Record date | 20070430 |
| Location | Boston |
| Keywords | Piton (Computer program language), Assembler language (Computer program language), FM9001 (Microprocessor) |