Formal Aspects of Component Software

Đã lưu trong:
Chi tiết về thư mục
Những tác giả chính: Arbab, Farhad, Jongmans, Sung-Shik
Đị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/89998
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-89998
record_format dspace
spelling oai:scholar.dlu.edu.vn:DLU123456789-899982020-05-06T05:44:31Z Formal Aspects of Component Software Arbab, Farhad Jongmans, Sung-Shik Computer Science Software Engineering Theory of Computation Mathematical Logic and Foundations 2020-05-06T05:44:31Z 2020-05-06T05:44:31Z 2020 Book 978-3-030-40913-5 978-3-030-40914-2 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/89998 en Lecture Notes in Computer Science Springer Nature Switzerland 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
Theory of Computation
Mathematical Logic and Foundations
spellingShingle Computer Science
Software Engineering
Theory of Computation
Mathematical Logic and Foundations
Arbab, Farhad
Jongmans, Sung-Shik
Formal Aspects of Component Software
format Book
author Arbab, Farhad
Jongmans, Sung-Shik
author_facet Arbab, Farhad
Jongmans, Sung-Shik
author_sort Arbab, Farhad
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/89998
_version_ 1757659990891429888