Formal Methods in Architecture: Proceedings of the 7th International Symposium on Formal Methods in Architecture - 7fma, Porto 2024 - Couverture rigide

9783032027818: Formal Methods in Architecture: Proceedings of the 7th International Symposium on Formal Methods in Architecture - 7fma, Porto 2024

Couverture rigide

ISBN 10 : 3032027810 ISBN 13 : 9783032027818

Editeur : Springer Nature Switzerland AG, 2025

Afficher les exemplaires de cette �dition comportant l?ISBN

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.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Springer Nature Switzerland AG
Date d'�dition: 2025
Langue: anglais
ISBN 10: 3032027810
ISBN 13: 9783032027818
Reliure: Reli�
Nombre de pages: 722
�diteur: Marques Bruno, Ruivo Catarina, Leite Viana David, Vieira Vaz Jorge
Coordonn�es du fabricant: Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Allemagne

R�sultats de recherche pour Formal Methods in Architecture: Proceedings of the...

Image d'archives

Formal Methods in Architecture (eng)

Marques, Bruno

Edit� par Springer, 2025

ISBN 10 : 3032027810 ISBN 13 : 9783032027818

Neuf Couverture rigide

impression � la demande

Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie

�valuation du vendeur 5 sur 5 �toiles

Etat : new. Questo � un articolo print on demand. N� de r�f. du vendeur JVEWTMP1CM

Contacter le vendeur

Acheter neuf

EUR 230,32

Exp�dition �EUR 5,50
Exp�dition depuis Italie vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Formal Methods in Architecture (Hardcover)

Bruno Marques

Edit� par Springer Nature Switzerland AG, Cham, 2025

ISBN 10 : 3032027810 ISBN 13 : 9783032027818

Neuf Couverture rigide

Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Hardcover. Etat : new. Hardcover. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N� de r�f. du vendeur 9783032027818

Contacter le vendeur

Acheter neuf

EUR 291,71

Livraison gratuite
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

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)

Edit� par Springer, 2025

ISBN 10 : 3032027810 ISBN 13 : 9783032027818

Neuf Couverture rigide

Vendeur : California Books, Miami, FL, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur I-9783032027818

Contacter le vendeur

Acheter neuf

EUR 310,87

Livraison gratuite
Exp�dition nationale�: Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Formal Methods in Architecture (Hardcover)

Bruno Marques

Edit� par Springer Nature Switzerland AG, Cham, 2025

ISBN 10 : 3032027810 ISBN 13 : 9783032027818

Neuf Couverture rigide

impression � la demande

Vendeur : AussieBookSeller, Truganina, VIC, Australie

�valuation du vendeur 5 sur 5 �toiles

Hardcover. Etat : new. Hardcover. 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. 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. This item is printed on demand. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. N� de r�f. du vendeur 9783032027818

Contacter le vendeur

Acheter neuf

EUR 287,18

Exp�dition �EUR 31,64
Exp�dition depuis Australie vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Formal Methods in Architecture

Bruno Marques

Edit� par Springer, Berlin, Springer Nov 2025, 2025

ISBN 10 : 3032027810 ISBN 13 : 9783032027818

Neuf Couverture rigide

impression � la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 698 pp. Englisch. N� de r�f. du vendeur 9783032027818

Contacter le vendeur

Acheter neuf

EUR 299,59

Exp�dition �EUR 23
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

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

Bruno Marques (u. a.)

Edit� par Springer, 2025

ISBN 10 : 3032027810 ISBN 13 : 9783032027818

Neuf Couverture rigide

impression � la demande

Vendeur : preigu, Osnabr�ck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Contacter le vendeur

Acheter neuf

EUR 259,45

Exp�dition �EUR 70
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 5 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Formal Methods in Architecture

Bruno Marques

Edit� par Palgrave Macmillan, Springer Okt 2025, 2025

ISBN 10 : 3032027810 ISBN 13 : 9783032027818

Neuf Couverture rigide

impression � la demande

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Buch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 724 pp. Englisch. N� de r�f. du vendeur 9783032027818

Contacter le vendeur

Acheter neuf

EUR 299,59

Exp�dition �EUR 60
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

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

Bruno Marques

Edit� par Springer Nature Switzerland, Springer, 2025

ISBN 10 : 3032027810 ISBN 13 : 9783032027818

Neuf Couverture rigide

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N� de r�f. du vendeur 9783032027818

Contacter le vendeur

Acheter neuf

EUR 299,59

Exp�dition �EUR 66,18
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Formal Methods in Architecture (Hardcover)

Bruno Marques

Edit� par Springer Nature Switzerland AG, Cham, 2025

ISBN 10 : 3032027810 ISBN 13 : 9783032027818

Neuf Couverture rigide

impression � la demande

Vendeur : CitiRetail, Stevenage, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Hardcover. Etat : new. Hardcover. 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. 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. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. N� de r�f. du vendeur 9783032027818

Contacter le vendeur