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

Zapisane w:
Opis bibliograficzny
Główni autorzy: Alvim, Mário S., Chatzikokolakis, Kostas, Olarte, Carlos, Valencia, Frank
Format: Książka
Język:English
Wydane: Springer International Publishing 2020
Hasła przedmiotowe:
Dostęp online:https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/91191
Etykiety: Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt