Tools and Algorithms for the Construction and Analysis of Systems

Đã lưu trong:
Chi tiết về thư mục
Những tác giả chính: Grumberg, Orna, Huth, Michael
Định dạng: Sách
Ngôn ngữ:English
Được phát hành: Springer Berlin Heidelberg 2020
Những chủ đề:
Truy cập trực tuyến:http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81768
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-81768
record_format dspace
spelling oai:scholar.dlu.edu.vn:DLU123456789-817682020-02-20T01:49:40Z Tools and Algorithms for the Construction and Analysis of Systems Grumberg, Orna Huth, Michael Computer Science Software Engineering/Programming and Operating Systems Logics and Meanings of Programs 2020-02-20T01:49:40Z 2020-02-20T01:49:40Z 2007 Book 978-3-540-71208-4 978-3-540-71209-1 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81768 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/Programming and Operating Systems
Logics and Meanings of Programs
spellingShingle Computer Science
Software Engineering/Programming and Operating Systems
Logics and Meanings of Programs
Grumberg, Orna
Huth, Michael
Tools and Algorithms for the Construction and Analysis of Systems
format Book
author Grumberg, Orna
Huth, Michael
author_facet Grumberg, Orna
Huth, Michael
author_sort Grumberg, Orna
title Tools and Algorithms for the Construction and Analysis of Systems
title_short Tools and Algorithms for the Construction and Analysis of Systems
title_full Tools and Algorithms for the Construction and Analysis of Systems
title_fullStr Tools and Algorithms for the Construction and Analysis of Systems
title_full_unstemmed Tools and Algorithms for the Construction and Analysis of Systems
title_sort tools and algorithms for the construction and analysis of systems
publisher Springer Berlin Heidelberg
publishDate 2020
url http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81768
_version_ 1757654362512949248