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

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Alvim, Mário S., Chatzikokolakis, Kostas, Olarte, Carlos, Valencia, Frank
Médium: Kniha
Jazyk:English
Vydáno: Springer International Publishing 2020
Témata:
On-line přístup:https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/91191
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt