Formal Methods in Architecture : Proceedings of the 7th International Symposium on Formal Methods in Architecture (7FMA), Porto 2024 (Digital Innovations in Architecture, Engineering and Construction)

ポイントキャンペーン

Formal Methods in Architecture : Proceedings of the 7th International Symposium on Formal Methods in Architecture (7FMA), Porto 2024 (Digital Innovations in Architecture, Engineering and Construction)

Marques, Bruno (EDT)/ Ruivo, Catarina (EDT)/ Leite Viana, David (EDT)

Springer Nature Switzerland AG（2025/10発売）

ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す

製本 Hardcover:ハードカバー版／ページ数 698 p.
言語 ENG
商品コード 9783032027818

Full Description

This book constitutes a contribution to the debate and to the introduction of new methodologies and tools in the mentioned fields that derive from the application of formal methods in the creation of new explicit languages for problem-solving in architecture and urbanism.