All About Maude - A High-Performance Logical Framework

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Clavel, Manuel, Durán, Francisco, Eker, Steven, Lincoln, Patrick, Martí-Oliet, Narciso, Meseguer, José, Talcott, Carolyn
Format:	Buch
Sprache:	English
Veröffentlicht:	Springer Berlin Heidelberg 2020
Schlagworte:	Computer Science Programming Languages, Compilers, Interpreters Programming Techniques
Online Zugang:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81812
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Schreiben Sie den ersten Kommentar!

Ähnliche Einträge