Compartir
adapting proofs-as-programs: the curry--howard protocol
Poernomo, Iman Hafiz (Autor)
·
springer
· Libro Físico
adapting proofs-as-programs: the curry--howard protocol - poernomo, iman hafiz
Sin Stock
Te enviaremos un correo cuando el libro vuelva a estar disponible
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
Todos los libros de nuestro catálogo son Originales.
El libro está escrito en Inglés.
✓ Producto agregado correctamente al carro, Ir a Pagar.