Concurrency, Security, and Puzzles

Đã lưu trong:
Chi tiết về thư mục
Những tác giả chính: Gibson-Robinson, Thomas, Hopcroft, Philippa, Lazić, Ranko
Định dạng: Sách
Ngôn ngữ:English
Được phát hành: Springer International Publishing 2020
Những chủ đề:
Truy cập trực tuyến:http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/83080
Các nhãn: Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
id oai:scholar.dlu.edu.vn:DLU123456789-83080
record_format dspace
spelling oai:scholar.dlu.edu.vn:DLU123456789-830802020-02-20T02:59:50Z Concurrency, Security, and Puzzles Gibson-Robinson, Thomas Hopcroft, Philippa Lazić, Ranko Computer Science Logics and Meanings of Programs Software Engineering 2020-02-20T02:59:50Z 2020-02-20T02:59:50Z 2017 Book 978-3-319-51045-3 978-3-319-51046-0 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/83080 en Lecture Notes in Computer Science Springer International Publishing AG application/pdf Springer International Publishing
institution Thư viện Trường Đại học Đà Lạt
collection Thư viện số
language English
topic Computer Science
Logics and Meanings of Programs
Software Engineering
spellingShingle Computer Science
Logics and Meanings of Programs
Software Engineering
Gibson-Robinson, Thomas
Hopcroft, Philippa
Lazić, Ranko
Concurrency, Security, and Puzzles
format Book
author Gibson-Robinson, Thomas
Hopcroft, Philippa
Lazić, Ranko
author_facet Gibson-Robinson, Thomas
Hopcroft, Philippa
Lazić, Ranko
author_sort Gibson-Robinson, Thomas
title Concurrency, Security, and Puzzles
title_short Concurrency, Security, and Puzzles
title_full Concurrency, Security, and Puzzles
title_fullStr Concurrency, Security, and Puzzles
title_full_unstemmed Concurrency, Security, and Puzzles
title_sort concurrency, security, and puzzles
publisher Springer International Publishing
publishDate 2020
url http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/83080
_version_ 1757674176387219456