Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021 Luxembourg City, Luxembourg, March 27 – April 1, 2021 Proceedings, Part II
Tác giả: Jan Friso Groote, Kim Guldstrand Larsen
Nhà xuất bản: Springer
Năm xuất bản: 2021
Số trang: 476
Đang rỗi: 0 / Số lượng: 0
Khoa: Khoa công nghệ thông tin
Chuyên ngành:
Danh mục: Sách Tham Khảo
Loại giáo trình: Tài liệu tham khảo
Mã Dewey:
ISBN: 978-3-030-72012-4
Kích thước:
Đơn giá:
Ngôn ngữ: Tiếng Anh
Nơi lưu trữ: Đông Á Đà nẵng
Số Cutter: T66 - J36
Loại tài liệu: Ebook
Từ khóa: Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021 Luxembourg City, Luxembourg, March 27 – April 1, 2021 Proceedings, Part II
Tóm tắt:
| STT | Mã từng cuốn sách | Barcode | Kho lưu trữ | Nơi lưu trữ |
|---|
