per Emil Sekerinski, Leila Ribeiro · Springer · tapa blanda · ISBN 9783031713781
IVA inclòs
Garantia de qualitat Hamelyn · revisat i verificat, o et tornem els diners
«Formal Methods Teaching» recull les actes del taller FMTea 2024, editat per Emil Sekerinski i Leila Ribeiro (Springer, tapa tova, 152 pàgines, en anglès).
Reuneix set articles complets i una xerrada convidada del taller FMTea 2024, celebrat a Milà el 10 de setembre de 2024. Els treballs tracten l'ensenyament i l'autoaprenentatge de mètodes formals: lògica, verificació de programari, disseny de sistemes, enginyeria del programari i intel·ligència artificial en l'educació tècnica.
Correspon al volum 14939 de la col·lecció Lecture Notes in Computer Science (LNCS); edició en anglès publicada per Springer el 2024.
Per a docents i investigadors de ciències de la computació i enginyeria de programari que vulguin ensenyar mètodes formals.
