

Program Proofs
- Forfatter
- K. Rustan M. Leino
- Illustratør
- Kaleb Leino
- ISBN
- 9780262375429
- Språk
- Engelsk
- Utgivelsesdato
- 7.3.2023
- Forlag
- MIT PRESS
- Tilgjengelige elektroniske format
- Epub - Adobe DRM
- Les e-boka her
- E-bokleser i mobil/nettbrett
- Lesebrett
- Datamaskin
