by Emil Sekerinski, Leila Ribeiro · Springer · tapa blanda · ISBN 9783031713781
VAT included
Hamelyn quality guarantee · checked and verified, or your money back
«Formal Methods Teaching» collects the proceedings of the FMTea 2024 workshop, edited by Emil Sekerinski and Leila Ribeiro (Springer, paperback, 152 pages, in English).
It brings together seven full papers and an invited talk from the FMTea 2024 workshop, held in Milan on September 10, 2024. The works address the teaching and self-learning of formal methods: logic, software verification, systems design, software engineering and artificial intelligence in technical education.
It corresponds to volume 14939 of the Lecture Notes in Computer Science (LNCS) series; English edition published by Springer in 2024.
For educators and researchers in computer science and software engineering who want to teach formal methods.
