Formal Methods Teaching
6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings
AvEmil Sekerinski,Leila Ribeiro
Häftad, Engelska, 2024
Del 14939 i serien Lecture Notes in Computer Science
419 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
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.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Du kanske också är intresserad av
Graph Transformations
Grzegorz Rozenberg, Leila Ribeiro, Ugo Montanari, Hartmut Ehrig, Andrea Corradini
E-bok
2006687 kr
Del 10090
Graph Transformations
Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg
Häftad, 2006
550 kr
Del 12232
Formal Methods. FM 2019 International Workshops
Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
Häftad, 2020
565 kr
Del 12233
Formal Methods. FM 2019 International Workshops
Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
Häftad, 2020
565 kr
Program Development by Refinement
Kaisa Sere, Emil Sekerinski, Emil Sekerinski, Kaisa Sere
Häftad, 1998
2 239 kr