Detalles del libro
- Autores K. Rustan M. Leino, Kaleb Leino
- ISBN13 9780262546232
- ISBN10 026254623X
- Páginas 496
- Año de Edición 2023
- Fecha de publicación 07/03/2023
- Idioma Alemán, Francés
Reseñas y valoraciones
Program Proofs (Alemán, Francés)
- De
- K. Rustan M. Leino, Kaleb Leino
- 9780262546232



