Neem er drie en betaal er maar twee met de code TRIPLE
Formal Methods Teaching
4,5
TecnologíaISBN | 9783031713781
-
Inclusief btw
GRATIS verzending
Gratis retour binnen 30 dagen
Betaal met:
Beschikbare aanbiedingen per staat
De staat Nieuw wordt alleen naar Nederland verzonden, met gratis verzending vanaf €15. Alle andere staten hebben altijd gratis verzending, zonder minimumbedrag.
* Al onze producten worden zorgvuldig gecontroleerd om duurzame cultuur te bevorderen.
Hamelyn kwaliteitsgarantie
Elk product wordt gecontroleerd, schoongemaakt en geverifieerd vóór verzending. Als het niet is wat je verwachtte, betalen we je geld terug.
Productdetails
Pagina's: 152 pagina's
Auteur: Emil Sekerinski, Leila Ribeiro
Uitgever: Springer
ISBN: 9783031713781
Formaat: tapa blanda
Taal: en
Publicatiedatum: 9/10/2024
ISBN: 9783031713781
Synopsis van 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.
Meer titels voor liefhebbers van Emil Sekerinski, Leila Ribeiro
Aanbevolen door Julia
Best verkochte boeken in Software-engineering
Bestsellers
Laatste eenheid!3 personen hebben het in hun winkelwagen
-
Inclusief btw