Catherine Dubois (ed.) | Akateeminen Kirjakauppa

FORMAL METHODS TEACHING : 5TH INTERNATIONAL WORKSHOP, FMTEA 2023, LÜBECK, GERMANY, MARCH 6, 2023, PROCEEDINGS

Catherine Dubois (ed.); Pierluigi San Pietro (ed.)
Springer (2023)
Pehmeäkantinen kirja

54,40 €

Formal Methods Teaching : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings

Catherine Dubois (ed.), Pierluigi San Pietro (ed.)

54,40 €

Springer
Sivumäärä: 105 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2023, 21.02.2023 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 13962

This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lübeck, Germany, in March 2023.

The 7 full papers presented in this volume were carefully reviewed and selected from 10 submissions. FMTea 2023 aim is to support a worldwide improvement in learning Formal Methods, mainly by teaching but also via self-learning.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024

Myymäläsaatavuus