Formal Methods in Architecture Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022
tarafından
Mora, Plácido Lizancos. editor.
Başlık
:
Formal Methods in Architecture Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022
Yazar
:
Mora, Plácido Lizancos. editor.
ISBN
:
9789819922178
Basım Bilgisi
:
1st ed. 2023.
Fiziksel Tanımlama
:
XXVIII, 515 p. 311 illus., 246 illus. in color. online resource.
Seri
:
Digital Innovations in Architecture, Engineering and Construction,
Konu Terimleri
:
Buildings -- Design and construction.
Architecture.
Computer-aided engineering.
Building Construction and Design.
Computer-Aided Engineering (CAD, CAE) and Design.
Cities, Countries, Regions.
Yazar Ek Girişi
:
Mora, Plácido Lizancos.
Viana, David Leite.
Morais, Franklim.
Vieira Vaz, Jorge.
Tüzel Kişi Ek Girişi
:
SpringerLink (Online service)
Elektronik Erişim
:
| Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | [[missing key: search.ChildField.HOLDING]] | Durumu/İade Tarihi |
|---|
| Çevrimiçi Kütüphane | E-Kitap | 527661-1001 | ONLINE | | Elektronik Kütüphane |