All About Maude - A High-Performance Logical Framework

Bewaard in:
Bibliografische gegevens
Hoofdauteurs: Clavel, Manuel, Durán, Francisco, Eker, Steven, Lincoln, Patrick, Martí-Oliet, Narciso, Meseguer, José, Talcott, Carolyn
Formaat: Boek
Taal:English
Gepubliceerd in: Springer Berlin Heidelberg 2020
Onderwerpen:
Online toegang:https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81812
Tags: Voeg label toe
Geen labels, Wees de eerste die dit record labelt!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt