Llévate tres y paga solo dos con el cupón TRIPLE
Formal Methods Teaching
4,5
TecnologíaISBN | 9783031713781
-
IVA incluido
Envío GRATIS
Devolución gratis 30 días
Paga con:
Ofertas disponibles por estado
El estado Nuevo solo se envía a Península, con envío gratis en pedidos a partir de 15€. El resto de estados llevan envío gratis siempre, sin importe mínimo.
* Todos nuestros productos son revisados cuidadosamente para fomentar la cultura sostenible.
Garantía de calidad Hamelyn
Cada producto se revisa, limpia y verifica antes de enviarlo. Si no es lo que esperabas, te devolvemos el dinero.
Detalles del producto
Páginas: 152 pag
Autor: Emil Sekerinski, Leila Ribeiro
Editorial: Springer
ISBN: 9783031713781
Formato: tapa blanda
Idioma: en
Publicación: 9/10/2024
ISBN: 9783031713781
Sinopsis de Formal Methods Teaching
Este libro constituye las actas del 6.º Taller Internacional sobre Enseñanza de Métodos Formales (FMTea 2024), celebrado en Milán, Italia, el 10 de septiembre de 2024. La obra presenta una selección de artículos de investigación revisados por expertos que se centran en el aprendizaje y la instrucción de métodos formales, abarcando desde la teoría lógica hasta su aplicación práctica en la ingeniería de software y la educación en ciencias de la computación. Como parte de la prestigiosa serie Lecture Notes in Computer Science (LNCS 14939), este volumen incluye siete artículos completos y una charla invitada. Es un recurso esencial para académicos, investigadores y profesionales interesados en las metodologías de enseñanza para la verificación de software, el diseño de sistemas y la aplicación de la inteligencia artificial en entornos educativos técnicos.
Más títulos para quienes buscan Emil Sekerinski, Leila Ribeiro
Recomendado por Julia
Libros más vendidos de Ingeniería del software
Más vendidos
¡Última unidad!3 personas lo tienen en su carrito
-
IVA incluido