Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

Formal Methods in Architecture

Best Price (Coupon Required):
Buy Formal Methods in Architecture for $116.10 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $129.00 - $129.00
BEST PRICE

Single Product Purchase

$116.10
@ Link.springer.com with extra coupon

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
$129.00 $129.00

10% OFF
This deals requires coupon
$116.10
See Site In stock Visit Store

Product Details

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783030575113
Condition
New
Product Description

This edited book gathers research studies presented at the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020. Studies focus on the use of methodologies, especially those that have witnessed recent developments, that stem from the 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. It adds valuable insight into the development of new practices solving identified societal problems and promoting the digital transformation of institutions in the mentioned fields. The primary audience of this book will be from the fields of architecture, urban planning, civil engineering, AEC, landscape design, computer sciences and mathematics, both academicians and professionals.

Available Colors
Available Sizes

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Resistance of Targeted Therapies Excluding Antibodies for Lymphomas

Resistance of Targeted Therapies Excluding Antibodies for Lymphomas

$99.00
SiRNA Delivery Methods

SiRNA Delivery Methods

$109.99
Stochastische Methoden

Stochastische Methoden

$29.99
Paradoxes of Conflicts

Paradoxes of Conflicts

$84.99
Compliance in ffentlichen Unternehmen

Compliance in ffentlichen Unternehmen

$17.99
Schedule-Based Modeling of Transportation Networks

Schedule-Based Modeling of Transportation Networks

$84.99
Cross-Magnetic Turbulent Diffusion of Charged Particles in a Weakly Ionized Plasma

Cross-Magnetic Turbulent Diffusion of Charged Particles in a Weakly Ionized Plasma

$54.99
MicroRNA and Cancer

MicroRNA and Cancer

$84.99
Die klinische Wertigkeit biochemischer Faktoren beim Polytrauma

Die klinische Wertigkeit biochemischer Faktoren beim Polytrauma

$69.99
Male Breast Cancer

Male Breast Cancer

$159.99
Die Bildung der Differenz

Die Bildung der Differenz

$59.99
Mobile Support in Customer Loyalty Management

Mobile Support in Customer Loyalty Management

$39.99
The EU Comitology System in Theory and Practice

The EU Comitology System in Theory and Practice

$39.99
Reverse Migration in Contemporary China

Reverse Migration in Contemporary China

$54.99
Das Autistisch-Undisiplinierte Denken in der Mediin und Seine berwindung

Das Autistisch-Undisiplinierte Denken in der Mediin und Seine berwindung

$79.99
Saving the Environment in Sub-Saharan Africa

Saving the Environment in Sub-Saharan Africa

$84.99
Richtlinien fr die militrrztliche Beurteilung Nierenkranker

Richtlinien fr die militrrztliche Beurteilung Nierenkranker

$59.99
Mathematical Biology

Mathematical Biology

$79.99
Beyond the Western Liberal Order

Beyond the Western Liberal Order

$84.99
Service Research and Innovation

Service Research and Innovation

$54.99
Positive Psychology Coaching

Positive Psychology Coaching

$139.99
Who You Think I Am?

Who You Think I Am?

$9.99
Cybersecurity in China

Cybersecurity in China

$79.99
Asynchronmaschinen

Asynchronmaschinen

$84.99
Cotton

Cotton

$109.99
Globalisation and Inclusive Schooling

Globalisation and Inclusive Schooling

$139.99
Vorbereitungsmaschinen fr die Weberei

Vorbereitungsmaschinen fr die Weberei

$84.99
Introduction to Liaison Theory and Deficiency Modules

Introduction to Liaison Theory and Deficiency Modules

$84.99
Parallelism in Logic

Parallelism in Logic

$59.99
Schlsselwerke des Konstruktivismus

Schlsselwerke des Konstruktivismus

$159.99
Collective Bargaining in Labour Law Regimes

Collective Bargaining in Labour Law Regimes

$179.99
Bayesian Inference for Probabilistic Risk Assessment

Bayesian Inference for Probabilistic Risk Assessment

$249.99
Wie werde ich eine DIVA?

Wie werde ich eine DIVA?

$37.99
Magical Boy Volume 1

Magical Boy Volume 1

$11.99
The Indian Ocean as a New Political and Security Region

The Indian Ocean as a New Political and Security Region

$129.99
Einfhrung in die Literaturdidaktik

Einfhrung in die Literaturdidaktik

$17.99
Business Governance and Society

Business Governance and Society

$109.99
Security Standardisation Research

Security Standardisation Research

$54.99
Model Predictive Control of Microgrids

Model Predictive Control of Microgrids

$169.99
Bioinformatics Techniques for Drug Discovery

Bioinformatics Techniques for Drug Discovery

$54.99
previous
next