ModelEd, TestEd, TrustEd

Đã lưu trong:
Chi tiết về thư mục
Những tác giả chính: Katoen, Joost-Pieter, Langerak, Rom, Rensink, Arend
Đị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/81458
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-81458
record_format dspace
spelling oai:scholar.dlu.edu.vn:DLU123456789-814582023-10-06T01:43:21Z ModelEd, TestEd, TrustEd Katoen, Joost-Pieter Langerak, Rom Rensink, Arend Computer Science Logics and Meanings of Programs Software Engineering 2020-02-20T01:30:38Z 2020-02-20T01:30:38Z 2017 Book 978-3-319-68269-3 978-3-319-68270-9 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81458 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
Logics and Meanings of Programs
Software Engineering
spellingShingle Computer Science
Logics and Meanings of Programs
Software Engineering
Katoen, Joost-Pieter
Langerak, Rom
Rensink, Arend
ModelEd, TestEd, TrustEd
format Book
author Katoen, Joost-Pieter
Langerak, Rom
Rensink, Arend
author_facet Katoen, Joost-Pieter
Langerak, Rom
Rensink, Arend
author_sort Katoen, Joost-Pieter
title ModelEd, TestEd, TrustEd
title_short ModelEd, TestEd, TrustEd
title_full ModelEd, TestEd, TrustEd
title_fullStr ModelEd, TestEd, TrustEd
title_full_unstemmed ModelEd, TestEd, TrustEd
title_sort modeled, tested, trusted
publisher Springer International Publishing
publishDate 2020
url https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81458
_version_ 1819801341554327552