Prenez-en trois et n'en payez que deux avec le coupon TRIPLEFR
Formal Methods Teaching
4,5
TecnologíaISBN | 9783031713781
-
TVA incluse
Livraison GRATUITE
Retour gratuit sous 30 jours
Payer avec :
Offres disponibles par état
L'état Neuf n'est expédié qu'en France, avec livraison gratuite à partir de 15 €. Les autres états bénéficient toujours de la livraison gratuite, sans minimum d'achat.
* Tous nos produits sont soigneusement vérifiés pour favoriser une culture durable.
Garantie qualité Hamelyn
Chaque produit est inspecté, nettoyé et vérifié avant l'expédition. S'il ne correspond pas à vos attentes, nous vous remboursons.
Détails du produit
Pages: 152 pages
Auteur: Emil Sekerinski, Leila Ribeiro
Éditeur: Springer
ISBN: 9783031713781
Format: tapa blanda
Langue: en
Date de publication: 9/10/2024
ISBN: 9783031713781
Synopsis 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.
Plus de titres pour les fans de Emil Sekerinski, Leila Ribeiro
Recommandé par Julia
Livres les plus vendus en Génie logiciel
Meilleures ventes
Dernière unité !3 personnes l'ont dans leur panier
-
TVA incluse