Hướng dẫn sử dụng

Verified Software. Theories, Tools and Experiments : 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers

Loại tài liệu: Tài liệu số - Book

Thông tin trách nhiệm: Reynolds, Andrew; Tasiran, Serdar

Nhà Xuất Bản: Springer

Năm Xuất Bản: 2023

Chia sẻ
(Tải app tại đây để đọc sách)

Tóm tắt

This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23–24, 2023. The 6 full papers presented in this volume were carefully reviewed and selected from 13 submissions. They focus on requirements modeling, specification languages, software design methods, automatic code generation, refinement methodologies, and more.

Ngôn ngữ:en
Thông tin trách nhiệm:Reynolds, Andrew; Tasiran, Serdar
Thông tin nhan đề:Verified Software. Theories, Tools and Experiments : 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers
Nhà Xuất Bản:Springer
Loại hình:Book
Bản quyền:© The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2024
Mô tả vật lý:116 p.
Năm Xuất Bản:2023

(Sử dụng ứng dụng VNU- LIC quét QRCode này để mượn tài liệu)

(Lưu ý: Sử dụng ứng dụng Bookworm để xem đầy đủ tài liệu. Bạn đọc có thể tải Bookworm từ App Store hoặc Google play với từ khóa "VNU LIC”)

  • Chủ đề
TÀI NGUYÊN KHÁC