Verification, Model Checking, and Abstract Interpretation

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Beyer, Dirk, Zufferey, Damien
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer International Publishing 2020
Những chủ đề:	Computer Science Logics and Meanings of Programs Computer Systems Organization and Communication Networks Data Structures
Truy cập trực tuyến:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/89905
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-89905
record_format	dspace
spelling	oai:scholar.dlu.edu.vn:DLU123456789-899052023-10-06T01:10:58Z Verification, Model Checking, and Abstract Interpretation Beyer, Dirk Zufferey, Damien Computer Science Logics and Meanings of Programs Computer Systems Organization and Communication Networks Data Structures 2020-05-06T05:40:14Z 2020-05-06T05:40:14Z 2020 Book 978-3-030-39321-2 978-3-030-39322-9 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/89905 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 Logics and Meanings of Programs Computer Systems Organization and Communication Networks Data Structures
spellingShingle	Computer Science Logics and Meanings of Programs Computer Systems Organization and Communication Networks Data Structures Beyer, Dirk Zufferey, Damien Verification, Model Checking, and Abstract Interpretation
format	Book
author	Beyer, Dirk Zufferey, Damien
author_facet	Beyer, Dirk Zufferey, Damien
author_sort	Beyer, Dirk
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 International Publishing
publishDate	2020
url	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/89905
_version_	1819790636000215040

Verification, Model Checking, and Abstract Interpretation

Những quyển sách tương tự