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

Gorde:
Xehetasun bibliografikoak
Egile Nagusiak: Alvim, Mário S., Chatzikokolakis, Kostas, Olarte, Carlos, Valencia, Frank
Formatua: Liburua
Hizkuntza:English
Argitaratua: Springer International Publishing 2020
Gaiak:
Sarrera elektronikoa:https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/91191
Etiketak: Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt