von Emil Sekerinski, Leila Ribeiro · Springer · tapa blanda · ISBN 9783031713781
MwSt. inbegriffen
Hamelyn Qualitätsgarantie · geprüft und verifiziert, oder Geld zurück
«Formal Methods Teaching» enthält die Tagungsbeiträge des Workshops FMTea 2024, herausgegeben von Emil Sekerinski und Leila Ribeiro (Springer, Taschenbuch, 152 Seiten, auf Englisch).
Es vereint sieben vollständige Beiträge und einen eingeladenen Vortrag des Workshops FMTea 2024, der am 10. September 2024 in Mailand stattfand. Die Arbeiten behandeln das Lehren und Selbstlernen formaler Methoden: Logik, Softwareverifikation, Systemdesign, Softwaretechnik und künstliche Intelligenz in der technischen Bildung.
Es entspricht Band 14939 der Reihe Lecture Notes in Computer Science (LNCS); englische Ausgabe, veröffentlicht von Springer im Jahr 2024.
Für Lehrende und Forschende der Informatik und Softwaretechnik, die formale Methoden unterrichten möchten.
