Emporta-te’n 3 i aconsegueix un 50% de descompte en el tercer amb el codi TRIPLE50
Formal Methods Teaching
Formal Methods Teaching
Revisat a mà
Enviament GRATIS
Segona vida
Tecnología

Formal Methods Teaching

per Emil Sekerinski, Leila Ribeiro · Springer · tapa blanda · 152 pàg

4 persones veient aixòVist 1 vegades
Pàgines: 152 pàgAutor: Emil Sekerinski, Leila RibeiroEditorial: SpringerFormat: tapa blandaIdioma: enPublicació: 9/10/2024ISBN: ISBN 9783031713781

Tria l'estat de conservació

Què inclou cada estat
BoMarques visibles a la coberta. Contingut complet, íntegre i revisat.
GenialLleugeres marques a la coberta. Pàgines netes i llom en bon estat.
FantàsticMarques amb prou feines perceptibles. Interior impecable. Gairebé sense senyals d'ús.
Excel·lentSense marques visibles. Coberta, llom i pàgines impecables.
NouLlibre nou, sense ús. Demanat directament a fàbrica.

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.


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

Llibres més venuts de Enginyeria del programari

Més venuts
Veure'ls tots
Emporta't 3 i paga només 2 · TRIPLECAT
-
IVA inclòs