Tools and Algorithms for the Construction and Analysis of Systems

Đã 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ủ đề:
Truy cập trực tuyến:http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82583
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-82583
record_format dspace
spelling oai:scholar.dlu.edu.vn:DLU123456789-825832020-02-20T02:35:16Z Tools and Algorithms for the Construction and Analysis of Systems Computer Science Software Engineering/Programming and Operating Systems Programming Techniques 2020-02-20T02:35:16Z 2020-02-20T02:35:16Z 2009 Book 978-3-642-00767-5 978-3-642-00768-2 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82583 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
Programming Techniques
spellingShingle Computer Science
Software Engineering/Programming and Operating Systems
Programming Techniques
Tools and Algorithms for the Construction and Analysis of Systems
format Book
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/82583
_version_ 1757675294223761408