par Emil Sekerinski, Leila Ribeiro · Springer · tapa blanda · ISBN 9783031713781
TVA incluse
Garantie qualité Hamelyn · vérifié et contrôlé, ou remboursé
«Formal Methods Teaching» rassemble les actes de l'atelier FMTea 2024, édité par Emil Sekerinski et Leila Ribeiro (Springer, broché, 152 pages, en anglais).
Il réunit sept articles complets et une conférence invitée de l'atelier FMTea 2024, tenu à Milan le 10 septembre 2024. Les travaux traitent de l'enseignement et de l'auto-apprentissage des méthodes formelles : logique, vérification de logiciels, conception de systèmes, génie logiciel et intelligence artificielle dans l'éducation technique.
Il correspond au volume 14939 de la collection Lecture Notes in Computer Science (LNCS) ; édition en anglais publiée par Springer en 2024.
Pour les enseignants et chercheurs en informatique et génie logiciel qui souhaitent enseigner les méthodes formelles.
