Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I
От издателя
This open access book constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.
ЖАНР
Компьютеры и Интернет
РЕЛИЗ
2024
10 сентября
ЯЗЫК
EN
английский
ОБЪЕМ
702
стр.
ИЗДАТЕЛЬ
Springer Nature Switzerland
ПРОДАВЕЦ
Springer Nature B.V.
РАЗМЕР
58,9
МБ