{"product_id":"9788484385905","title":"Programen espezifikazio, egiaztapen eta eratorpen formala. [et Al. ], Alvez Gimenez, Javier (Udako Euskal Unibertsitatea) 9788484385905","description":"\u003ch2\u003eAdecuado 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.\u003c\/h2\u003e\n\u003cp\u003eEste 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.\u003c\/p\u003e\n\u003ch2\u003eQué incluye este libro de texto\u003c\/h2\u003e\n\u003cp\u003eEl 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.\u003c\/p\u003e\n\u003ch2\u003e¿Para quién es?\u003c\/h2\u003e\n\u003cul\u003e\n\u003cli\u003e🎓 Nivel\/curso: No especificado, dirigido a estudiantes universitarios y profesionales en lógica y programación formal.\u003c\/li\u003e\n\u003cli\u003e📖 Asignatura o área: Programación formal, lógica matemática, verificación de sistemas.\u003c\/li\u003e\n\u003cli\u003e📌 Uso: Libro principal para estudio y referencia en cursos relacionados con programación formal y lógica.\u003c\/li\u003e\n\u003cli\u003e🏫 Si es para el aula, trabajo autónomo, o ambos: Ideal para ambos usos, en clases o estudio individual.\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch2\u003eDatos de la edición\u003c\/h2\u003e\n\u003cul\u003e\n\u003cli\u003e📘 Editorial + colección: Udako Euskal Unibertsitatea\u003c\/li\u003e\n\u003cli\u003e📄 Páginas: 328\u003c\/li\u003e\n\u003cli\u003e📐 Formato: 24.0 × 17.0 cm\u003c\/li\u003e\n\u003cli\u003e📎 Encuadernación: Tapa blanda\u003c\/li\u003e\n\u003cli\u003e🌍 Idioma del contenido: baq\u003c\/li\u003e\n\u003cli\u003e📅 Año de edición: 2016\u003c\/li\u003e\n\u003cli\u003e👶 Edad recomendada: No especificada\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003cp\u003e\u003cstrong\u003eDisponible en Papelería del Paseo con envío a toda España. Recíbelo en casa en 24-72h.\u003c\/strong\u003e\u003c\/p\u003e\n\u003ch2\u003eFicha técnica\u003c\/h2\u003e\n\u003ctable\u003e\n\u003ctr\u003e\n\u003cth\u003eISBN-13\u003c\/th\u003e\n\u003ctd\u003e9788484385905\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003cth\u003eTítulo\u003c\/th\u003e\n\u003ctd\u003eProgramen espezifikazio, egiaztapen eta eratorpen formala\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003cth\u003eAutor\/a\u003c\/th\u003e\n\u003ctd\u003e['[et Al. ]', 'Alvez Gimenez, Javier']\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003cth\u003eEditorial\u003c\/th\u003e\n\u003ctd\u003eUdako Euskal Unibertsitatea\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003cth\u003eIdioma\u003c\/th\u003e\n\u003ctd\u003ebaq\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003cth\u003eEncuadernación\u003c\/th\u003e\n\u003ctd\u003eTapa blanda\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003cth\u003ePáginas\u003c\/th\u003e\n\u003ctd\u003e328\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003cth\u003eFormato\u003c\/th\u003e\n\u003ctd\u003e24.0 × 17.0 cm\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003cth\u003eAño de edición\u003c\/th\u003e\n\u003ctd\u003e2016\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003cth\u003eFecha de publicación\u003c\/th\u003e\n\u003ctd\u003e15\/07\/2016\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003c\/table\u003e","brand":"Udako Euskal Unibertsitatea","offers":[{"title":"Default Title","offer_id":59936705446222,"sku":"9788484385905","price":24.0,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0412\/8810\/6135\/files\/irudia_c36b9086-6f2c-4d46-bd00-61d04b82f2b4.jpg?v=1781979056","url":"https:\/\/www.papeleriadelpaseo.com\/products\/9788484385905","provider":"Librería Papelería El Paseo","version":"1.0","type":"link"}