Take three and pay for only two with coupon TRIPLE
VAT included
New condition items ship only to the UK, with free shipping on orders from £15. All other conditions always include free shipping with no minimum order.
* All our products are carefully inspected to support sustainable culture.
Every product is inspected, cleaned and verified before shipping. If it's not what you expected, we'll refund your money.
ISBN: 9783031713781
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.
