Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Đã lưu trong:
Chi tiết về thư mục
Những tác giả chính: Logozzo, Francesco, Peled, Doron A., Zuck, Leonore D.
Đị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/82211
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-82211
record_format dspace
spelling oai:scholar.dlu.edu.vn:DLU123456789-822112020-02-20T02:17:28Z Verification, Model Checking, and Abstract Interpretation Logozzo, Francesco Peled, Doron A. Zuck, Leonore D. Computer Science Software Engineering Logics and Meanings of Programs 2020-02-20T02:17:28Z 2020-02-20T02:17:28Z 2008 Book 978-3-540-78162-2 978-3-540-78163-9 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82211 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
Logozzo, Francesco
Peled, Doron A.
Zuck, Leonore D.
Verification, Model Checking, and Abstract Interpretation
format Book
author Logozzo, Francesco
Peled, Doron A.
Zuck, Leonore D.
author_facet Logozzo, Francesco
Peled, Doron A.
Zuck, Leonore D.
author_sort Logozzo, Francesco
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/82211
_version_ 1757671530814242816

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