Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I
Lời Giới Thiệu Của Nhà Xuất Bản
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.
THỂ LOẠI
Máy Vi Tính & Internet
ĐÃ PHÁT HÀNH
2024
10 tháng 9
NGÔN NGỮ
EN
Tiếng Anh
ĐỘ DÀI
702
Trang
NHÀ XUẤT BẢN
Springer Nature Switzerland
NGƯỜI BÁN
Springer Nature B.V.
KÍCH THƯỚC
58,9
Mb