Formal Aspects of Component Software

Bewaard in:
Bibliografische gegevens
Hoofdauteurs: Bae, Kyungmin, Ölveczky, Peter Csaba
Formaat: Boek
Taal:English
Gepubliceerd in: Springer International Publishing 2020
Onderwerpen:
Online toegang:https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/88073
Tags: Voeg label toe
Geen labels, Wees de eerste die dit record labelt!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
id oai:scholar.dlu.edu.vn:DLU123456789-88073
record_format dspace
spelling oai:scholar.dlu.edu.vn:DLU123456789-880732023-10-06T00:06:04Z Formal Aspects of Component Software Bae, Kyungmin Ölveczky, Peter Csaba Computer Science Software Engineering Programming Languages, Compilers, Interpreters 2020-04-06T05:37:03Z 2020-04-06T05:37:03Z 2018 Book 978-3-030-02145-0 978-3-030-02146-7 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/88073 en Springer Nature Switzerland AG application/pdf Springer International Publishing
institution Thư viện Trường Đại học Đà Lạt
collection Thư viện số
language English
topic Computer Science
Software Engineering
Programming Languages, Compilers, Interpreters
spellingShingle Computer Science
Software Engineering
Programming Languages, Compilers, Interpreters
Bae, Kyungmin
Ölveczky, Peter Csaba
Formal Aspects of Component Software
format Book
author Bae, Kyungmin
Ölveczky, Peter Csaba
author_facet Bae, Kyungmin
Ölveczky, Peter Csaba
author_sort Bae, Kyungmin
title Formal Aspects of Component Software
title_short Formal Aspects of Component Software
title_full Formal Aspects of Component Software
title_fullStr Formal Aspects of Component Software
title_full_unstemmed Formal Aspects of Component Software
title_sort formal aspects of component software
publisher Springer International Publishing
publishDate 2020
url https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/88073
_version_ 1819787202036498432