Web Services and Formal Methods

Guardat en:
Dades bibliogràfiques
Format: Llibre
Idioma:English
Publicat: Springer Berlin Heidelberg 2020
Matèries:
Accés en línia:https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82612
Etiquetes: Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
id oai:scholar.dlu.edu.vn:DLU123456789-82612
record_format dspace
spelling oai:scholar.dlu.edu.vn:DLU123456789-826122023-10-06T02:42:19Z Web Services and Formal Methods Computer Science Computer Engineering Computer Communication Networks 2020-02-20T02:36:49Z 2020-02-20T02:36:49Z 2009 Book 978-3-642-01363-8 978-3-642-01364-5 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82612 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
Computer Engineering
Computer Communication Networks
spellingShingle Computer Science
Computer Engineering
Computer Communication Networks
Web Services and Formal Methods
format Book
title Web Services and Formal Methods
title_short Web Services and Formal Methods
title_full Web Services and Formal Methods
title_fullStr Web Services and Formal Methods
title_full_unstemmed Web Services and Formal Methods
title_sort web services and formal methods
publisher Springer Berlin Heidelberg
publishDate 2020
url https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82612
_version_ 1819781049033424896