Leve três e pague apenas dois com o cupão TRIPLOPT

Formal Methods Teaching
4,5
TecnologíaISBN | 9783031713781

-
IVA incluído
Frete GRÁTIS
Devolução grátis em 30 dias
Paga com:



Ofertas disponíveis por estado
O estado Novo só é enviado para o Brasil, com envio grátis em encomendas a partir de 15 €. Os restantes estados têm sempre envio grátis, sem valor mínimo.
* Todos os nossos produtos são revisados cuidadosamente para promover uma cultura sustentável.
Garantia de qualidade Hamelyn
Cada produto é revisto, limpo e verificado antes do envio. Se não for o que esperava, devolvemos o dinheiro.
Detalhes do produto
Páginas: 152 pág
Autor: Emil Sekerinski, Leila Ribeiro
Editora: Springer
ISBN: 9783031713781
Formato: tapa blanda
Idioma: en
Data de publicação: 9/10/2024
ISBN: 9783031713781
Sinopse 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.
Mais títulos para quem procura Emil Sekerinski, Leila Ribeiro
Recomendado por JuliaÚltima unidade!3 pessoas têm-no no carrinho

-
IVA incluído







