Algebraic Methodology and Software Technology

Đã lưu trong:
Chi tiết về thư mục
Những tác giả chính: Meseguer, José, Rosu, Grigore
Đị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/82294
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-82294
record_format dspace
spelling oai:scholar.dlu.edu.vn:DLU123456789-822942020-02-20T02:20:48Z Algebraic Methodology and Software Technology Meseguer, José Rosu, Grigore Computer Science Programming Techniques Software Engineering/Programming and Operating Systems 2020-02-20T02:20:48Z 2020-02-20T02:20:48Z 2008 Book 978-3-540-79979-5 978-3-540-79980-1 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82294 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
Programming Techniques
Software Engineering/Programming and Operating Systems
spellingShingle Computer Science
Programming Techniques
Software Engineering/Programming and Operating Systems
Meseguer, José
Rosu, Grigore
Algebraic Methodology and Software Technology
format Book
author Meseguer, José
Rosu, Grigore
author_facet Meseguer, José
Rosu, Grigore
author_sort Meseguer, José
title Algebraic Methodology and Software Technology
title_short Algebraic Methodology and Software Technology
title_full Algebraic Methodology and Software Technology
title_fullStr Algebraic Methodology and Software Technology
title_full_unstemmed Algebraic Methodology and Software Technology
title_sort algebraic methodology and software technology
publisher Springer Berlin Heidelberg
publishDate 2020
url http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82294
_version_ 1757653268068040704