Emporta't tres i paga'n només dos amb el cupó TRIPLE
Formal Methods Teaching
4,5
TecnologíaISBN | 9783031713781
-
IVA inclòs
Enviament GRATIS
Devolució gratuïta 30 dies
Paga amb:
Ofertes disponibles per estat
L'estat Nou només s'envia a Península, amb enviament gratuït en comandes a partir de 15 €. La resta d'estats tenen enviament gratuït sempre, sense import mínim.
* Tots els nostres productes són revisats curosament per fomentar la cultura sostenible.
Garantia de qualitat Hamelyn
Cada producte es revisa, neteja i verifica abans d'enviar-lo. Si no és el que esperaves, et retornem els diners.
Detalls del producte
Pàgines: 152 pàg
Autor: Emil Sekerinski, Leila Ribeiro
Editorial: Springer
ISBN: 9783031713781
Format: tapa blanda
Idioma: en
Publicació: 9/10/2024
ISBN: 9783031713781
Sinopsi 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ítols per a qui busca Emil Sekerinski, Leila Ribeiro
Recomanat per Julia
Última unitat!3 persones el tenen al carret
-
IVA inclòs