Zobrazuji výsledky 1 - 3 z 3 pro vyhledávání 'Meseguer, José', doba hledání: 0,03 s. Upřesnit hledání
1
Algebraic Methodology and Software Technology
Autor Meseguer, José, Rosu, Grigore
Vydáno 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Získat plný text
Přidat do oblíbených
Uloženo v:
2
Concurrency, Graphs and Models
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Získat plný text
Přidat do oblíbených
Uloženo v:
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
Získat plný text
Přidat do oblíbených
Uloženo v:
Vyhledávací nástroje: RSS — Poslat e-mailem