Résultat(s) 1 - 3 résultats de 3 pour la requête 'Meseguer, José', Temps de recherche: 0,04s Affiner les résultats
1
Algebraic Methodology and Software Technology
par Meseguer, José, Rosu, Grigore
Publié 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Accéder au texte intégral
Ajouter aux favoris
Enregistré dans:
2
Concurrency, Graphs and Models
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Accéder au texte intégral
Ajouter aux favoris
Enregistré dans:
3
All About Maude - A High-Performance Logical Framework
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Accéder au texte intégral
Ajouter aux favoris
Enregistré dans:
Outils de recherche: S'abonner aux flux RSS — Envoyer cette recherche par courriel