![Programen espezifikazio, egiaztapen eta eratorpen formala. [et Al. ], Alvez Gimenez, Javier (Udako Euskal Unibertsitatea) 9788484385905](http://www.papeleriadelpaseo.com/cdn/shop/files/irudia_c36b9086-6f2c-4d46-bd00-61d04b82f2b4.jpg?v=1781979056&width=3840)
Programen espezifikazio, egiaztapen eta eratorpen formala. [et Al. ], Alvez Gimenez, Javier (Udako Euskal Unibertsitatea) 9788484385905
Proveedor:
Udako Euskal Unibertsitatea
Código de barras:
9788484385905
Disponibilidad:
Precomprar
Tipo de producto:
Libros
Precio regular
€26,64
Precio en oferta
€24,00
(-10%)
ENVÍO RÁPIDO Y SEGURO
Envíos Gratis a partir de 80€ de Compra. - Envíos Express en 24-48 horas en Pedidos realizados antes de las 12:00 pm
COMPRA INTELIGENTE
Utiliza el - CHAT EN VIVO - para asegurar Stock y Tiempos de Envío Estimado con Nuestro Equipo de forma Directa. Esta es la mejor forma de utilizar nuestra plataforma y Obtener el mejor Servicio Posible.
DEVOLUCIONES GRATIS 14 DÍAS
Tienes 14 días para devolverlo con total tranquilidad. Si el producto llega dañado o incorrecto, lo solucionamos gratis. Si simplemente cambias de opinión, solo se descontarán los gastos de envío del reembolso. Sin líos y sin preguntas incómodas.
![Programen espezifikazio, egiaztapen eta eratorpen formala. [et Al. ], Alvez Gimenez, Javier (Udako Euskal Unibertsitatea) 9788484385905](http://www.papeleriadelpaseo.com/cdn/shop/files/irudia_c36b9086-6f2c-4d46-bd00-61d04b82f2b4.jpg?v=1781979056&width=64)
Programen espezifikazio, egiaztapen eta eratorpen formala. [et Al. ], Alvez Gimenez, Javier (Udako Euskal Unibertsitatea) 9788484385905
Precio en oferta
€24,00
Precio regular
€26,64
(-10%)
Adecuado para estudiantes de nivel universitario y profesionales en matemáticas y lógica formal, publicado por Udako Euskal Unibertsitatea. Este libro de texto presenta un enfoque riguroso en la programación formal, incluyendo conceptos de especificaciones, verificaciones y derivaciones en lógica matemática.
Este material cubre aspectos fundamentales de la programación formal y lógica matemática, proporcionando a los estudiantes y profesionales las herramientas necesarias para entender y aplicar conceptos de especificación y verificación en sistemas informáticos. Incluye teorías, ejemplos prácticos y ejercicios que facilitan el aprendizaje y la aplicación de los conceptos en contextos académicos y profesionales.
Qué incluye este libro de texto
El libro ofrece una explicación detallada de la programación formal, abordando temas como la especificación de sistemas, la comprobación de corrección y las derivaciones formales. Está diseñado para facilitar la comprensión de conceptos complejos mediante ejemplos claros y ejercicios prácticos, con un enfoque en la aplicación en entornos académicos y en el desarrollo de sistemas seguros y confiables.
¿Para quién es?
- 🎓 Nivel/curso: No especificado, dirigido a estudiantes universitarios y profesionales en lógica y programación formal.
- 📖 Asignatura o área: Programación formal, lógica matemática, verificación de sistemas.
- 📌 Uso: Libro principal para estudio y referencia en cursos relacionados con programación formal y lógica.
- 🏫 Si es para el aula, trabajo autónomo, o ambos: Ideal para ambos usos, en clases o estudio individual.
Datos de la edición
- 📘 Editorial + colección: Udako Euskal Unibertsitatea
- 📄 Páginas: 328
- 📐 Formato: 24.0 × 17.0 cm
- 📎 Encuadernación: Tapa blanda
- 🌍 Idioma del contenido: baq
- 📅 Año de edición: 2016
- 👶 Edad recomendada: No especificada
Disponible en Papelería del Paseo con envío a toda España. Recíbelo en casa en 24-72h.
Ficha técnica
| ISBN-13 | 9788484385905 |
|---|---|
| Título | Programen espezifikazio, egiaztapen eta eratorpen formala |
| Autor/a | ['[et Al. ]', 'Alvez Gimenez, Javier'] |
| Editorial | Udako Euskal Unibertsitatea |
| Idioma | baq |
| Encuadernación | Tapa blanda |
| Páginas | 328 |
| Formato | 24.0 × 17.0 cm |
| Año de edición | 2016 |
| Fecha de publicación | 15/07/2016 |
¿Dudas? Escríbenos por el Chat en Vivo
Te respondemos en segundos. Stock, envíos, recomendaciones — como preguntar a tu dependiente de confianza, pero sin moverte de casa.
Atención, fans de Warhammer:
Compra en PREPEDIDO y consigue tus miniaturas con descuento. Funciona como pedir directamente a Games Workshop, pero a mejor precio. Haces el pedido, lo recibimos en 7-10 días y te lo enviamos.
Planifica tus compras y ahorra en cada caja.
¿Te interesa? Escríbenos por el chat y lo gestionamos contigo.
¿Dudas sobre disponibilidad?
Trabajamos con almacenes conectados en tiempo real. Si quieres confirmación al 100%, escríbenos por el chat en vivo y te lo verificamos al instante.
Plazos de envío
| Desde tienda | Sobre catálogo | |
|---|---|---|
| Warhammer / GW | 24‑48h | 7‑12 días |
| Libros y cómics | 24‑48h | — |
| Libros de texto | 24‑48h | 7‑10 días |
| Papelería y regalos | 24‑48h | — |
Envío gratis a partir de 80€. Si un producto no está disponible, te reembolsamos de inmediato.
Devoluciones — 14 días
Devuelve cualquier producto en su estado original dentro de los 14 días. Te enviamos etiqueta de devolución lista para imprimir.
- Producto dañado o incorrecto: lo cambiamos o reembolsamos sin coste alguno.
- Devolución por otros motivos: se descontarán los gastos de envío del reembolso.
¿Necesitas ayuda? Escríbenos por el chat en vivo.
PRODUCTOS VISTOS RECIENTEMENTE
PRODUCTOS RELACIONADOS