Yazar
Jorge Vieira Vaz
3 cilt bulundu.
Cilt sonuçları
Formal Methods in Architecture
Sara Eloy, David Leite Viana, Franklim Morais, Jorge Vieira Vaz · Springer International Publishing AG
Sayfa sayısı yok · 2021
Kategori yok
Formal methods in architecture and urbanism
David Leite Viana, Franklim Morais, Jorge Vieira Vaz · Cambridge Scholars Publishing
397 sayfa · 2018
Architecture / Data processing / Formal methods (Computer science)
Formal Methods in Architecture and Urbanism, Volume 2
Catarina Ruivo, David Leite Viana, Franklim Morais, Jorge Vieira Vaz · Cambridge Scholars Publisher
Sayfa sayısı yok · 2021
Architecture / Data processing / Formal methods (Computer science) / Computer architecture / Ordinateurs