Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers /

This book constitutes the refereed proceedings of the 16th International Conference on Verified Software, VSTTE 2024, held in Prague, Czech Republic, during October 14–15, 2024. The 6 full papers, as well as one invited paper, were carefully reviewed and selected for inclusion in the book. The confe...

Mô tả đầy đủ

Chi tiết về thư mục

Tác giả của công ty:	SpringerLink (Online service)
Tác giả khác:	Protzenko, Jonathan (Biên tập viên), Raad, Azalea (Biên tập viên)
Định dạng:	Điện tử eBook
Ngôn ngữ:	Tiếng Anh
Được phát hành:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Phiên bản:	1st ed. 2025.
Loạt:	Lecture Notes in Computer Science, 15525
Những chủ đề:	Computer science. Computers. Software engineering. Computer systems. Computers, Special purpose. Logic programming. Computer Science Logic and Foundations of Programming. Computer Hardware. Software Engineering. Computer System Implementation. Special Purpose and Application-Based Systems. Logic in AI.
Truy cập trực tuyến:	https://doi.org/10.1007/978-3-031-86695-1
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!