Muutke küpsiste eelistusi

Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings 2024 ed. [Pehme köide]

Edited by , Edited by
  • Formaat: Paperback / softback, 141 pages, kõrgus x laius: 235x155 mm, 34 Illustrations, color; 5 Illustrations, black and white; IX, 141 p. 39 illus., 34 illus. in color., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 14939
  • Ilmumisaeg: 05-Sep-2024
  • Kirjastus: Springer International Publishing AG
  • ISBN-10: 3031713788
  • ISBN-13: 9783031713781
Teised raamatud teemal:
  • Pehme köide
  • Hind: 37,58 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 44,21 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings 2024 ed.Suurem pilt
  • Formaat: Paperback / softback, 141 pages, kõrgus x laius: 235x155 mm, 34 Illustrations, color; 5 Illustrations, black and white; IX, 141 p. 39 illus., 34 illus. in color., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 14939
  • Ilmumisaeg: 05-Sep-2024
  • Kirjastus: Springer International Publishing AG
  • ISBN-10: 3031713788
  • ISBN-13: 9783031713781
Teised raamatud teemal:
Püsilink: https://www.kriso.ee/db/9783031713781.html
Märksõnad:
This book constitutes the proceedings of the 6th International Workshop on Formal Methods Teaching, FMTea 2024, which was held in Milan, Italy, on September 10, 2024.





The 7 full papers included in these proceedings were carefully reviewed and selected from 9 submissions. The book also contains one invited talk in full paper length. The papers focus on learning formal methods for the purpose of teaching and self-learning.
1 The Significance of Symbolic Logic for Scientific
Education.- Introducing GitHub Classroom into a Formal Methods
Module.- Teaching through Practice: Advanced Static Analysis with
LiSA.- Teaching Formal Methods for 10 Years: Reflections on Theories, Tools,
Materials, and Communities.- An Educational Module for Temporal Features in
Alloy 6.- Checking contracts in Event-B.- Teaching with Logika: Conceiving
and Constructing Correct Software.- 8 Teaching Formal Methods in Application
Domains: A Case Study in Computer and Network Security.