

Program Proofs
- Författare
- K. Rustan M. Leino
- Illustratörer
- Kaleb Leino
- ISBN
- 9780262375429
- Språk
- Engelska
- Utgivningsdatum
- 2023-03-07
- 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