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

में बचाया:
ग्रंथसूची विवरण
मुख्य लेखकों: Alvim, Mário S., Chatzikokolakis, Kostas, Olarte, Carlos, Valencia, Frank
स्वरूप: पुस्तक
भाषा:English
प्रकाशित: Springer International Publishing 2020
विषय:
ऑनलाइन पहुंच:https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/91191
टैग : टैग जोड़ें
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt