Leveraging Applications of Formal Methods, Verification and Validation

Mã QR

Leveraging Applications of Formal Methods, Verification and Validation

Đã lưu trong:

Chi tiết về thư mục
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer Berlin Heidelberg 2020
Những chủ đề:	Computer Science Software Engineering/Programming and Operating Systems Theory of Computation
Truy cập trực tuyến:	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82437
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-82437
record_format	dspace
spelling	oai:scholar.dlu.edu.vn:DLU123456789-824372020-02-20T02:27:35Z Leveraging Applications of Formal Methods, Verification and Validation Computer Science Software Engineering/Programming and Operating Systems Theory of Computation 2020-02-20T02:27:35Z 2020-02-20T02:27:35Z 2008 Book 978-3-540-88478-1 978-3-540-88479-8 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82437 en Communications in Computer and Information 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 Software Engineering/Programming and Operating Systems Theory of Computation
spellingShingle	Computer Science Software Engineering/Programming and Operating Systems Theory of Computation Leveraging Applications of Formal Methods, Verification and Validation
format	Book
title	Leveraging Applications of Formal Methods, Verification and Validation
title_short	Leveraging Applications of Formal Methods, Verification and Validation
title_full	Leveraging Applications of Formal Methods, Verification and Validation
title_fullStr	Leveraging Applications of Formal Methods, Verification and Validation
title_full_unstemmed	Leveraging Applications of Formal Methods, Verification and Validation
title_sort	leveraging applications of formal methods, verification and validation
publisher	Springer Berlin Heidelberg
publishDate	2020
url	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82437
_version_	1757677442047148032