Piton - a mechanically verified assembly-level language
- Författare
- J. Strother Moore
- (J. Strother Moore.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Kluwer Academic | cop. 1996 | Nederländerna, Dordrecht | viii, 320 sidor. ill. | |
| Springer Netherlands | 1996 | Utgivningsland okänt / Ej specificerat |