All About Maude - A High-Performance Logical Framework

Gorde:
Xehetasun bibliografikoak
Egile Nagusiak: Clavel, Manuel, Durán, Francisco, Eker, Steven, Lincoln, Patrick, Martí-Oliet, Narciso, Meseguer, José, Talcott, Carolyn
Formatua: Liburua
Hizkuntza:English
Argitaratua: Springer Berlin Heidelberg 2020
Gaiak:
Sarrera elektronikoa:https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81812
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