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

Salvato in:
Dettagli Bibliografici
Autori principali: Alvim, Mário S., Chatzikokolakis, Kostas, Olarte, Carlos, Valencia, Frank
Natura: Libro
Lingua:English
Pubblicazione: Springer International Publishing 2020
Soggetti:
Accesso online:https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/91191
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne! !
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt