Provably Correct Systems. 1st ed. 2017

Gorde:
Xehetasun bibliografikoak
Egile Nagusiak: Hinchey, Mike, Bowen, Jonathan P., Olderog, Ernst-Rüdiger
Formatua: Liburua
Hizkuntza:English
Argitaratua: Springer International Publishing 2020
Gaiak:
Sarrera elektronikoa:http://doi.org/10.1007/978-3-319-48628-4
https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/98487
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