Formal Aspects of Component Software

Đã lưu trong:
Chi tiết về thư mục
Những tác giả chính: Proença, José, Lumpe, Markus
Đị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/81441
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-81441
record_format dspace
spelling oai:scholar.dlu.edu.vn:DLU123456789-814412020-02-20T01:29:49Z Formal Aspects of Component Software Proença, José Lumpe, Markus Computer Science Software Engineering Programming Languages, Compilers, Interpreters 2020-02-20T01:29:49Z 2020-02-20T01:29:49Z 2017 Book 978-3-319-68033-0 978-3-319-68034-7 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81441 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
Software Engineering
Programming Languages, Compilers, Interpreters
spellingShingle Computer Science
Software Engineering
Programming Languages, Compilers, Interpreters
Proença, José
Lumpe, Markus
Formal Aspects of Component Software
format Book
author Proença, José
Lumpe, Markus
author_facet Proença, José
Lumpe, Markus
author_sort Proença, José
title Formal Aspects of Component Software
title_short Formal Aspects of Component Software
title_full Formal Aspects of Component Software
title_fullStr Formal Aspects of Component Software
title_full_unstemmed Formal Aspects of Component Software
title_sort formal aspects of component software
publisher Springer International Publishing
publishDate 2020
url http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81441
_version_ 1757655497334325248