

Program Proofs
- Författare
- K. Rustan M. Leino
- Illustratörer
- Kaleb Leino
- ISBN
- 9780262375429
- Språk
- Engelska
- Utgivningsdatum
- 7.3.2023
- Förlag
- MIT PRESS
- Tillgängliga elektroniska format
- Epub - Adobe DRM
- Läs e-boken här
- E-boksläsare i mobil/surfplatta
- Läsplatta
- Dator