Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Formal Methods in Architecture

Name: Formal Methods in Architecture
Brand: Springer
SKU: 49976085
Price: 119622 HUF
Availability: InStock
Author: Bruno Marques
ISBN: 9783032027825

Proceedings of the 7th International Symposium on Formal Methods in Architecture (7FMA), Porto 2024

Language

English

E-book Adobe ePub DRM

Publishers Springer, October 2025

This book comprises the select proceedings of the 7th International Symposium on Formal Methods in A... Full description

Libristo code: 49976085

811 b

119 622 Ft

In stock Immediate digital delivery

Customers also purchased

Cellokonzerte S. /Järvi Isserlis

Audio CD

9 710 Ft

This book comprises the select proceedings of the 7th International Symposium on Formal Methods in Architecture (7FMA), held in Porto, Portugal, in December 2024. The contents focus on the use of methodologies, especially those that have witnessed recent developments stemming from mathematical and computer sciences and are developed in a collaborative way with architecture and related fields. 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. Some of the themes are CAD and BIM, mixed realities, photogrammetry and 3D scan, architectural design automation, urban and building performance analysis, SCAVA-space configuration, accessibility, and visibility analysis. The book serves as a valuable resource for those in academia and industry.