All About Maude - A High-Performance Logical Framework

Spremljeno u:
Bibliografski detalji
Glavni autori: Clavel, Manuel, Durán, Francisco, Eker, Steven, Lincoln, Patrick, Martí-Oliet, Narciso, Meseguer, José, Talcott, Carolyn
Format: Knjiga
Jezik:English
Izdano: Springer Berlin Heidelberg 2020
Teme:
Online pristup:https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81812
Oznake: Dodaj oznaku
Bez oznaka, Budi prvi tko označuje ovaj zapis!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt