Atnaujinkite slapukų nuostatas

El. knyga: Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings

Edited by , Edited by
  • Formatas: EPUB+DRM
  • Serija: Lecture Notes in Computer Science 14939
  • Išleidimo metai: 04-Sep-2024
  • Leidėjas: Springer International Publishing AG
  • Kalba: eng
  • ISBN-13: 9783031713798
Kitos knygos pagal šią temą:
Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, ProceedingsDidesnis paveikslėlis
  • Formatas: EPUB+DRM
  • Serija: Lecture Notes in Computer Science 14939
  • Išleidimo metai: 04-Sep-2024
  • Leidėjas: Springer International Publishing AG
  • Kalba: eng
  • ISBN-13: 9783031713798
Kitos knygos pagal šią temą:

DRM apribojimai

  • Kopijuoti:

    neleidžiama

  • Spausdinti:

    neleidžiama

  • El. knygos naudojimas:

    Skaitmeninių teisių valdymas (DRM)
    Leidykla pateikė šią knygą šifruota forma, o tai reiškia, kad norint ją atrakinti ir perskaityti reikia įdiegti nemokamą programinę įrangą. Norint skaityti šią el. knygą, turite susikurti Adobe ID . Daugiau informacijos  čia. El. knygą galima atsisiųsti į 6 įrenginius (vienas vartotojas su tuo pačiu Adobe ID).

    Reikalinga programinė įranga
    Norint skaityti šią el. knygą mobiliajame įrenginyje (telefone ar planšetiniame kompiuteryje), turite įdiegti šią nemokamą programėlę: PocketBook Reader (iOS / Android)

    Norint skaityti šią el. knygą asmeniniame arba „Mac“ kompiuteryje, Jums reikalinga  Adobe Digital Editions “ (tai nemokama programa, specialiai sukurta el. knygoms. Tai nėra tas pats, kas „Adobe Reader“, kurią tikriausiai jau turite savo kompiuteryje.)

    Negalite skaityti šios el. knygos naudodami „Amazon Kindle“.

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.
Daugiau apie elektronines knygas Daugiau apie elektronines knygas
Pastovi nuoroda: https://www.kriso.lt/db/97830317137986e.html