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

Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024 Luxembourg City, Luxembourg, April 6–11, 2024 Proceedings, Part I

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

Thông tin trách nhiệm: Finkbeiner, Bernd.; Kovács, Laura.

Nhà Xuất Bản: Springer Nature Switzerland AG

Năm Xuất Bản: 2024

Chia sẻ

Tải ứng dụng tại các liên kết sau để xem đầy đủ tài liệu.

Ngôn ngữ:en
Thông tin trách nhiệm:Finkbeiner, Bernd.; Kovács, Laura.
Thông tin nhan đề:Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024 Luxembourg City, Luxembourg, April 6–11, 2024 Proceedings, Part I
Nhà Xuất Bản:Springer Nature Switzerland AG
Loại hình:Book
Bản quyền:©The Editor(s) (if applicable) and The Author(s) 2024. This book is an open access publication.
Mô tả vật lý:413 tr
Năm Xuất Bản:2024

(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