Communicating Sequential Processes. The First 25 Years

Đã lưu trong:
Chi tiết về thư mục
Định dạng: Sách
Ngôn ngữ:English
Được phát hành: Springer Berlin Heidelberg 2020
Những chủ đề:
Truy cập trực tuyến:http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81173
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-81173
record_format dspace
spelling oai:scholar.dlu.edu.vn:DLU123456789-811732020-02-20T01:15:24Z Communicating Sequential Processes. The First 25 Years Computer Science Logics and Meanings of Programs Programming Languages, Compilers, Interpreters 2020-02-20T01:15:24Z 2020-02-20T01:15:24Z 2005 Book 978-3-540-25813-1 978-3-540-32265-8 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81173 en Lecture Notes in Computer Science Springer-Verlag Berlin Heidelberg application/pdf Springer Berlin Heidelberg
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
Programming Languages, Compilers, Interpreters
spellingShingle Computer Science
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Communicating Sequential Processes. The First 25 Years
format Book
title Communicating Sequential Processes. The First 25 Years
title_short Communicating Sequential Processes. The First 25 Years
title_full Communicating Sequential Processes. The First 25 Years
title_fullStr Communicating Sequential Processes. The First 25 Years
title_full_unstemmed Communicating Sequential Processes. The First 25 Years
title_sort communicating sequential processes. the first 25 years
publisher Springer Berlin Heidelberg
publishDate 2020
url http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81173
_version_ 1757655967931039744