Detalls del llibre
- Autors K. Rustan M. Leino, Kaleb Leino
- ISBN13 9780262546232
- ISBN10 026254623X
- Pàgines 496
- Any Edició 2023
- Fecha de publicación 07/03/2023
- Idioma Alemany, Francès
Ressenyes i valoracions
Program Proofs (Alemany, Francès)
- De
- K. Rustan M. Leino, Kaleb Leino
- 9780262546232



