Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Formal Methods in Architecture

Formal Methods in Architecture

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
1 Offer Price Range: $129.00 - $129.00
BEST PRICE

Single Product Purchase

$129.00
@ Link.springer.com     BUY Now

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
Contact Store Call Store Contact Support
$129.00 $129.00

$129.00
See Site In stock Visit Store

Similar Products

Jahrbuch fr Handlungs- und Entscheidungstheorie

$69.99

Engineering and Analyzing Multicellular Systems

$109.99

Autophagosome and Phagosome

$109.99

Discover Butterflies/Moon Watch: Hands-On Science

$4.00

Systemsicherheit

$59.99

Intelligent Tools for Building a Scientific Information Platform

$129.00

The Concept of Moral Consensus

$109.99

Strategische Vertriebswegeplanung von Universalbanken

$69.99

Black Participatory Research

$109.00

Gehlze im Winter

$34.99

Liberalism, Conservatism, and Hayek's Idea of Spontaneous Order

$39.99

Advancements in Smart Computing and Information Security

$139.99

Cambridge and Vienna

$109.99

Proceedings of the Canadian Society of Civil Engineering Annual Conference 2022

$219.00

Geometric Harmonic Analysis III

$219.99

Scrutinizing Science

$219.99

The Importance of Wood and Timber in Sustainable Buildings

$159.99

Coding for Optical Channels

$169.99

Ernhrung, Nahrungsmittelmrkte und Landwirtschaft

$39.99

Captain Underpants #2: Captain Underpants and the Attack of the Talking Toilets (Hardcover)

$9.74

Theorem Proving in Higher Order Logics

$39.99

Risikomanagement in der Logistik

$69.99

The Neural Basis of Navigation

$84.99

Nachweis von Clypeina Michelin im Cordevol der Nrdlichen Kalkalpen

$54.99

The MiFID II Framework

$139.99

Grundkurs Funktionalanalysis

$9.99

Formeln und Tabellen Elektrotechnik

$39.99

Psychoanalytic Accounts of Consuming Desire

$39.99

The Making of India

$129.00

Einsatz pneumatischer Verfahren zur Automatisierung der Werkzeugmaschinen

$59.99

Prinzipien konstruktiver Gestaltung

$59.99

Developments in Cognitive Radio Networks

$54.99

Multiagent based Supply Chain Management

$169.99

Uncertainty and Quality in Science for Policy

$129.00

Modeling Bipolar Power Semiconductor Devices

$19.99

Neutron Physics

$39.99

National Airlegislations and the Warsaw Convention

$39.99

Statistical and Probabilistic Models in Reliability

$169.00

Doing Business in Emerging Europe

$109.99

Moral Issues and Multinational Corporations

$34.99