Comercios online
Fabricantes
Partners
Más
País:
Idioma:
Español
Buscar con Icecat
Icecat: especificaciones de producto para el
Catálogo Open
con 27895925 fichas &
29117 marcas
– registro gratuito
Libros
Interactive Theorem Proving and Program Development libro Inglés 472 páginas Tapa dura
Interactive Theorem Proving and Program Development libro Inglés 472 páginas Tapa dura
Edit this data-sheet
Login or signup for Full Icecat
to access all product specs
(0)
Buscar productos similares
Edit this data-sheet
Marca:
ISBN
Nombre del producto:
Interactive Theorem Proving and Program Development
Código del producto:
9783540208549
GTIN (EAN/UPC):
9783540208549
Categoría:
Libros
Icecat Product ID:
132500628
Calidad de la ficha técnica:
creada/estandarizada por icecat
Este producto ha sido visto:
831
Información modificada el:
25 Jun 2025, 18:00:49
The Story
Especificaciones
Utilizamos cookies en nuestro sitio web para asegurar que se tenga la mejor experiencia. Si continúa utilizando nuestra web suponemos que está satisfecho con ella.
Ok
Información ampliada