Piton : a mechanically verified assembly-level language
ShareCopied to clipboardPiton : a mechanically verified assembly-level language is a book. It was written by J. Strother Moore and published by Kluwer Academic Publishers in 1996.
Key facts
- author: J. Strother Moore
- publication date: 1996
- book publisher: Kluwer Academic Publishers
- book series: Automated reasoning series
- book subjects: Assembler language (Computer program language), Microprocessors-Programming
See more factsExtract data
Download datasets about Piton : a mechanically verified assembly-level language:
Dataset of books series that contain Piton : a mechanically verified assembly-level language
"Piton : a mechanically verified assembly-level language" is one of the books by J. Strother Moore, books by Kluwer Academic Publishers and 2,617,384 books in our database.
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.