Atjaunināt sīkdatņu piekrišanu

Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings 2024 ed. [Mīkstie vāki]

Edited by , Edited by
  • Formāts: Paperback / softback, 141 pages, height x width: 235x155 mm, 34 Illustrations, color; 5 Illustrations, black and white; IX, 141 p. 39 illus., 34 illus. in color., 1 Paperback / softback
  • Sērija : Lecture Notes in Computer Science 14939
  • Izdošanas datums: 05-Sep-2024
  • Izdevniecība: Springer International Publishing AG
  • ISBN-10: 3031713788
  • ISBN-13: 9783031713781
Citas grāmatas par šo tēmu:
  • Mīkstie vāki
  • Cena: 36,20 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Standarta cena: 42,59 €
  • Ietaupiet 15%
  • Grāmatu piegādes laiks ir 3-4 nedēļas, ja grāmata ir uz vietas izdevniecības noliktavā. Ja izdevējam nepieciešams publicēt jaunu tirāžu, grāmatas piegāde var aizkavēties.
  • Daudzums:
  • Ielikt grozā
  • Piegādes laiks - 4-6 nedēļas
  • Pievienot vēlmju sarakstam
Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings 2024 ed.Palielināt
  • Formāts: Paperback / softback, 141 pages, height x width: 235x155 mm, 34 Illustrations, color; 5 Illustrations, black and white; IX, 141 p. 39 illus., 34 illus. in color., 1 Paperback / softback
  • Sērija : Lecture Notes in Computer Science 14939
  • Izdošanas datums: 05-Sep-2024
  • Izdevniecība: Springer International Publishing AG
  • ISBN-10: 3031713788
  • ISBN-13: 9783031713781
Citas grāmatas par šo tēmu:
Permanent link: https://www.kriso.lv/db/9783031713781.html
Keywords:
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.