Concurrency, Graphs and Models

Đã lưu trong:
Chi tiết về thư mục
Những tác giả chính: Degano, Pierpaolo, Nicola, Rocco de, Meseguer, José
Đị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/81647
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-81647
record_format dspace
spelling oai:scholar.dlu.edu.vn:DLU123456789-816472020-02-20T01:42:34Z Concurrency, Graphs and Models Degano, Pierpaolo Nicola, Rocco de Meseguer, José Computer Science Theory of Computation Logics and Meanings of Programs 2020-02-20T01:42:34Z 2020-02-20T01:42:34Z 2008 Book 978-3-540-68676-7 978-3-540-68679-8 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81647 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
Theory of Computation
Logics and Meanings of Programs
spellingShingle Computer Science
Theory of Computation
Logics and Meanings of Programs
Degano, Pierpaolo
Nicola, Rocco de
Meseguer, José
Concurrency, Graphs and Models
format Book
author Degano, Pierpaolo
Nicola, Rocco de
Meseguer, José
author_facet Degano, Pierpaolo
Nicola, Rocco de
Meseguer, José
author_sort Degano, Pierpaolo
title Concurrency, Graphs and Models
title_short Concurrency, Graphs and Models
title_full Concurrency, Graphs and Models
title_fullStr Concurrency, Graphs and Models
title_full_unstemmed Concurrency, Graphs and Models
title_sort concurrency, graphs and models
publisher Springer Berlin Heidelberg
publishDate 2020
url http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81647
_version_ 1757651601533698048