Summary goes here
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | a2164c13-63d7-4f2b-bb65-e52da08022c0 |
| isbn | 0792339207 9780792339205 |
| issn | |
| language | eng |
| physical | viii, 320 pages :illustrations ;25 cm. |
| publication | – publisher: Kluwer Academic Publishers dateOfPublication: ©1996 |
| publishDate | ©1996 |
| subjects | |
| title | Piton : a mechanically verified assembly-level language / by J. Strother Moore. |
| topic | Piton (Computer program language) Assembly languages (Electronic computers) FM9001 (Microprocessor) Assembly languages (Electronic computers) FM9001 (Microprocessor) Piton (Computer program language) MicroprocessorsProgramming computerwetenschappen computer sciences wiskunde mathematics computertechnieken computer techniques programmeertalen programming languages Information and Communication Technology (General) Informatie- en communicatietechnologie (algemeen) |