Cuốn sách truy cập mở này là kỷ yếu của Hội nghị quốc tế lần thứ 25 về nền tảng của khoa học phần mềm và cấu trúc tính toán, FOSSACS 2022, được tổ chức từ ngày 4-6 tháng 4 năm 2022, tại Munich, Đức, trong khuôn khổ Hội nghị chung châu Âu về lý thuyết và thực hành phần mềm, ETAPS 2022. 23 bài báo thường xuyên được trình bày trong tập này đã được xem xét cẩn thận và chọn lọc từ 77 bài nộp. Họ đối phó với nghiên cứu về các lý thuyết và phương pháp để hỗ trợ phân tích, tích hợp, tổng hợp, chuyển đổi và xác minh các chương trình và hệ thống phần mềm.

Abstract:

This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 23 regular papers presented in this volume were carefully reviewed and selected from 77 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.

Ngôn ngữ:	En
Tác giả:	Bouyer, Patricia, Schröder, Lutz
Thông tin nhan đề:	Foundations of Software Science and Computation Structures
Nhà xuất bản:	Springer Nature
Loại hình:	Tài nguyên giáo dục mở /Công nghệ thông tin
Bản quyền:	http://creativecommons.org/licenses/by/4.0/
Nguồn gốc:	https://directory.doabooks.org/handle/20.500.12854/81433
Mô tả vật lý:	469p.
Năm xuất bản:	2022