di Emil Sekerinski, Leila Ribeiro · Springer · tapa blanda · ISBN 9783031713781
IVA inclusa
Garanzia qualità Hamelyn · controllato e verificato, o ti rimborsiamo
«Formal Methods Teaching» raccoglie gli atti del workshop FMTea 2024, a cura di Emil Sekerinski e Leila Ribeiro (Springer, brossura, 152 pagine, in inglese).
Riunisce sette articoli completi e una conferenza invitata del workshop FMTea 2024, tenutosi a Milano il 10 settembre 2024. I lavori trattano l'insegnamento e l'autoapprendimento dei metodi formali: logica, verifica del software, progettazione di sistemi, ingegneria del software e intelligenza artificiale nell'educazione tecnica.
Corrisponde al volume 14939 della collana Lecture Notes in Computer Science (LNCS); edizione in inglese pubblicata da Springer nel 2024.
Per docenti e ricercatori di informatica e ingegneria del software che vogliono insegnare metodi formali.
