The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy

Guardat en:
Dades bibliogràfiques
Autors principals: Alvim, Mário S., Chatzikokolakis, Kostas, Olarte, Carlos, Valencia, Frank
Format: Llibre
Idioma:English
Publicat: Springer International Publishing 2020
Matèries:
Accés en línia:https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/91191
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