Prendi tre e paghi solo due con il coupon TRIPLOIT
Formal Methods Teaching
4,5
TecnologíaISBN | 9783031713781
-
IVA inclusa
Spedizione GRATUITA
Reso gratuito entro 30 giorni
Paga con:
Offerte disponibili per stato
Lo stato Nuovo viene spedito solo in Italia, con spedizione gratuita per ordini a partire da 15 €. Gli altri stati hanno sempre spedizione gratuita, senza importo minimo.
* Tutti i nostri prodotti sono controllati con cura per promuovere una cultura sostenibile.
Garanzia qualità Hamelyn
Ogni prodotto viene controllato, pulito e verificato prima della spedizione. Se non è quello che ti aspettavi, ti rimborsiamo.
Dettagli del prodotto
Pagine: 152 pag
Autore: Emil Sekerinski, Leila Ribeiro
Editore: Springer
ISBN: 9783031713781
Formato: tapa blanda
Lingua: en
Data di pubblicazione: 9/10/2024
ISBN: 9783031713781
Sinossi di 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.
Altri titoli per chi cerca Emil Sekerinski, Leila Ribeiro
Consigliato da Julia
Libri più venduti di Ingegneria del software
Più venduti
Ultima unità!3 persone lo hanno nel carrello
-
IVA inclusa