Formal Methods: Applications and Technology

Formal Methods: Applications and Technology

Đã lưu trong:
Chi tiết về thư mục
Những tác giả chính: Brim, Lubos, Haverkort, Boudewijn, Leucker, Martin, Pol, Jaco van de
Định dạng: Sách
Ngôn ngữ:English
Được phát hành: Springer Berlin Heidelberg 2020
Những chủ đề:
Computer Science
Theory of Computation
Software Engineering
Truy cập trực tuyến:https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81755
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-81755
record_format dspace
spelling oai:scholar.dlu.edu.vn:DLU123456789-817552023-10-06T01:55:57Z Formal Methods: Applications and Technology Brim, Lubos Haverkort, Boudewijn Leucker, Martin Pol, Jaco van de Computer Science Theory of Computation Software Engineering 2020-02-20T01:49:08Z 2020-02-20T01:49:08Z 2007 Book 978-3-540-70951-0 978-3-540-70952-7 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81755 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
Theory of Computation
Software Engineering
spellingShingle Computer Science
Theory of Computation
Software Engineering
Brim, Lubos
Haverkort, Boudewijn
Leucker, Martin
Pol, Jaco van de
Formal Methods: Applications and Technology
format Book
author Brim, Lubos
Haverkort, Boudewijn
Leucker, Martin
Pol, Jaco van de
author_facet Brim, Lubos
Haverkort, Boudewijn
Leucker, Martin
Pol, Jaco van de
author_sort Brim, Lubos
title Formal Methods: Applications and Technology
title_short Formal Methods: Applications and Technology
title_full Formal Methods: Applications and Technology
title_fullStr Formal Methods: Applications and Technology
title_full_unstemmed Formal Methods: Applications and Technology
title_sort formal methods: applications and technology
publisher Springer Berlin Heidelberg
publishDate 2020
url https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81755
_version_ 1819790091533418496

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