OER - Công nghệ thông tin
Duyệt OER - Công nghệ thông tin theo Tác giả "Alex Simpson, Simpson"
- Ấn phẩmFoundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings(Springer, 2019) Mikołaj, Bojańczyk; Alex Simpson, SimpsonCuốn sách này tạo thành kỷ yếu của Hội nghị quốc tế lần thứ 15 về Nền tảng của khoa học phần mềm và cấu trúc tính toán - FOSSACS 2012, được tổ chức như một phần của Hội nghị chung châu Âu về lý thuyết và thực hành phần mềm, ETAPS 2012, diễn ra tại Tallinn, Estonia vào tháng 3 /Tháng 4 năm 2012. 29 bài báo được trình bày trong cuốn sách này cùng với hai bài nói chuyện được mời có độ dài đầy đủ đã được xem xét và lựa chọn cẩn thận từ 100 bài báo đầy đủ. Các bài viết đề cập đến các lý thuyết và phương pháp hỗ trợ phân tích, 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.