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
9783030575083
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

High-Frequency Characterization of Electronic Packaging

High-Frequency Characterization of Electronic Packaging

$84.99
Der Weg zur Deutschen Akademie der Technikwissenschaften

Der Weg zur Deutschen Akademie der Technikwissenschaften

$69.99
Risk Management

Risk Management

$109.99
Genomic Approach to Asthma

Genomic Approach to Asthma

$109.99
Writing the Family

Writing the Family

$49.99
New Trends in Nonlinear Dynamics

New Trends in Nonlinear Dynamics

$169.99
Pituitary Disease

Pituitary Disease

$169.99
Difficult Conditions in Laparoscopic Urologic Surgery

Difficult Conditions in Laparoscopic Urologic Surgery

$249.99
Inorganic Contaminants of Surface Water

Inorganic Contaminants of Surface Water

$84.99
Unternehmerischer Erfolg und gesellschaftliche Verantwortung

Unternehmerischer Erfolg und gesellschaftliche Verantwortung

$49.99
Power, Dominance, and Nonverbal Behavior

Power, Dominance, and Nonverbal Behavior

$89.00
Die Auslegung mehrsprachiger Vertrge

Die Auslegung mehrsprachiger Vertrge

$69.95
A Philosophy of Israel Education

A Philosophy of Israel Education

$31.00
Nanomaterials and Nanocomposites, Nanostructure Surfaces, and Their Applications

Nanomaterials and Nanocomposites, Nanostructure Surfaces, and Their Applications

$249.99
The Self in Question

The Self in Question

$54.99
Sprache und Identitt in frankophonen Kulturen / Langues, identit et francophonie

Sprache und Identitt in frankophonen Kulturen / Langues, identit et francophonie

$59.99
Business Against Intimate Partner Violence

Business Against Intimate Partner Violence

$109.99
Profits, Wages and Productivity in the Business Cycle

Profits, Wages and Productivity in the Business Cycle

$109.99
IUTAM Symposium on Chaotic Dynamics and Control of Systems and Processes in Mechanics

IUTAM Symposium on Chaotic Dynamics and Control of Systems and Processes in Mechanics

$329.99
Kompendium Physikalische Medizin

Kompendium Physikalische Medizin

$59.99
Alterspsychiatrie

Alterspsychiatrie

$49.99
Die Mercerisation der Baumwolle und die Appretur der mercerisierten Gewebe

Die Mercerisation der Baumwolle und die Appretur der mercerisierten Gewebe

$59.99
New Developments in the Visualization and Processing of Tensor Fields

New Developments in the Visualization and Processing of Tensor Fields

$129.00
Plant Proteomics

Plant Proteomics

$109.00
Classical Theory of Algebraic Numbers

Classical Theory of Algebraic Numbers

$119.99
Smart Grid and Internet of Things

Smart Grid and Internet of Things

$49.99
Multibody Mechanics and Visualization

Multibody Mechanics and Visualization

$39.99
Disulfiram

Disulfiram

$109.99
Death Matters

Death Matters

$139.99
Heroisierte Opfer

Heroisierte Opfer

$64.99
Proceedings of Second International Conference in Mechanical and Energy Technology

Proceedings of Second International Conference in Mechanical and Energy Technology

$299.99
Cultivating the Confucian Individual

Cultivating the Confucian Individual

$119.00
Psychology and Diabetes Care

Psychology and Diabetes Care

$59.99
Service-Oriented Computing

Service-Oriented Computing

$54.99
Frontiers in Product Innovation Strategy

Frontiers in Product Innovation Strategy

$69.99
Risiko-Publizitt

Risiko-Publizitt

$49.99
Diversifying Learner Experience

Diversifying Learner Experience

$159.99
Future City Architecture for Optimal Living

Future City Architecture for Optimal Living

$54.99
Markenartikel und Handelsmarken in der Konsumgterindustrie

Markenartikel und Handelsmarken in der Konsumgterindustrie

$59.99
Advances in Pain Research: Mechanisms and Modulation of Chronic Pain

Advances in Pain Research: Mechanisms and Modulation of Chronic Pain

$179.99
previous
next