Dependable Software Engineering. Theories, Tools, and Applications

Đã lưu trong:
Chi tiết về thư mục
Những tác giả chính: Larsen, Kim Guldstrand, Sokolsky, Oleg, Wang, Ji
Đị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:https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81504
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-81504
record_format dspace
spelling oai:scholar.dlu.edu.vn:DLU123456789-815042023-10-06T01:45:21Z Dependable Software Engineering. Theories, Tools, and Applications Larsen, Kim Guldstrand Sokolsky, Oleg Wang, Ji Computer Science Software Engineering Logics and Meanings of Programs 2020-02-20T01:33:25Z 2020-02-20T01:33:25Z 2017 Book 978-3-319-69482-5 978-3-319-69483-2 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81504 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
Logics and Meanings of Programs
spellingShingle Computer Science
Software Engineering
Logics and Meanings of Programs
Larsen, Kim Guldstrand
Sokolsky, Oleg
Wang, Ji
Dependable Software Engineering. Theories, Tools, and Applications
format Book
author Larsen, Kim Guldstrand
Sokolsky, Oleg
Wang, Ji
author_facet Larsen, Kim Guldstrand
Sokolsky, Oleg
Wang, Ji
author_sort Larsen, Kim Guldstrand
title Dependable Software Engineering. Theories, Tools, and Applications
title_short Dependable Software Engineering. Theories, Tools, and Applications
title_full Dependable Software Engineering. Theories, Tools, and Applications
title_fullStr Dependable Software Engineering. Theories, Tools, and Applications
title_full_unstemmed Dependable Software Engineering. Theories, Tools, and Applications
title_sort dependable software engineering. theories, tools, and applications
publisher Springer International Publishing
publishDate 2020
url https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81504
_version_ 1819779313612881920