Verification, Model Checking, and Abstract Interpretation

Mã QR

Verification, Model Checking, and Abstract Interpretation

Đã 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 Logics and Meanings of Programs
Truy cập trực tuyến:	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81070
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-81070
record_format	dspace
spelling	oai:scholar.dlu.edu.vn:DLU123456789-810702020-02-20T01:09:55Z Verification, Model Checking, and Abstract Interpretation Computer Science Software Engineering Logics and Meanings of Programs 2020-02-20T01:09:55Z 2020-02-20T01:09:55Z 2005 Book 978-3-540-24297-0 978-3-540-30579-8 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81070 en Lecture Notes in Computer 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 Logics and Meanings of Programs
spellingShingle	Computer Science Software Engineering Logics and Meanings of Programs Verification, Model Checking, and Abstract Interpretation
format	Book
title	Verification, Model Checking, and Abstract Interpretation
title_short	Verification, Model Checking, and Abstract Interpretation
title_full	Verification, Model Checking, and Abstract Interpretation
title_fullStr	Verification, Model Checking, and Abstract Interpretation
title_full_unstemmed	Verification, Model Checking, and Abstract Interpretation
title_sort	verification, model checking, and abstract interpretation
publisher	Springer Berlin Heidelberg
publishDate	2020
url	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81070
_version_	1757667842337013760