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

Author:   Bruno Marques ,  Catarina Ruivo ,  David Leite Viana ,  Jorge Vieira Vaz
Publisher:   Springer Nature Switzerland AG
ISBN:  

9783032027818


Pages:   698
Publication Date:   19 October 2025
Format:   Hardback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $791.97 Quantity:  
Add to Cart

Share |

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


Overview

Full Product Details

Author:   Bruno Marques ,  Catarina Ruivo ,  David Leite Viana ,  Jorge Vieira Vaz
Publisher:   Springer Nature Switzerland AG
Imprint:   Springer Nature Switzerland AG
ISBN:  

9783032027818


ISBN 10:   3032027810
Pages:   698
Publication Date:   19 October 2025
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

NOV RG 20252

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List