Program Proofs
(Bog, Paperback / softback, Engelsk)
Forlag:
MIT Press Ltd
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9780262546232
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | MIT Press Ltd |
| Forfattere | K. Rustan M. Leino, Kaleb Leino |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgivelsesdato | 07-03-2023 |
| Første udgivelsesår | 2023 |
| Illustrationer | 20 line drawings, 30 figures |
| Originalsprog | United States |
| Sideantal | 496 |
| Indbinding | Paperback / softback |
| Forlag | MIT Press Ltd |
| Sideoplysninger | 496 pages, 20 line drawings, 30 figures |
| Mål | 228 x 181 x 26 |
| ISBN-13 / EAN-13 | 9780262546232 |