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 Aspects of Component Software

Formal Aspects of Component Software

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

This book constitutes the thoroughly revised selected papers from the 17th International Symposium, FACS 2021, which was hel virtually in October 2021. The 7 full papers and 1 short contribution were carefully reviewed and selected from 16 submissions and are presented in the volume together with 1 invited paper. FACS 2021 is concerned with how formal methods can be applied to component-based software and system development. The book is subdivided into two blocks: Modelling & Composition and Verification. Chapter "A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ 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
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

The Emergence of Self in Educational Contexts

$109.99

Handbook on Radiation Probing, Gauging, Imaging and Analysis

$169.00

Studies in International Economics and Finance

$179.99

How Many Zeroes?

$64.99

Art and Life in Aestheticism

$54.99

Light Scattering by Optically Soft Particles

$109.99

Emerging Technologies for Connected Internet of Vehicles and Intelligent Transportation System Netwo

$109.99

Preisstabilittspolitik

$64.99

Ring Compounds in Organic Synthesis VI

$84.99

Slender PCI

$139.99

Saints and Sinners in the Sky: Astronomy, Religion and Art in Western Culture

$29.99

Synchronization

$109.99

Soziale Innovationen in und von Organisationen

$74.99

Digital Libraries: Research and Development

$39.99

Handbook of Acute Leukemia

$54.99

Kardiologie. Hypertonie

$54.99

Biomonitors and Biomarkers as Indicators of Environmental Change 2

$219.99

Blockchain for Secure Healthcare Using Internet of Medical Things (IoMT)

$199.99

Regierungszentralen

$49.99

Frameworks for Modeling Cognition and Decisions in Institutional Environments

$39.99

Comprehensive Regional Reform

$109.99

Smart Mobility in der Praxis: Das Auto unverzichtbar fr den intermodalen Verkehr?

$24.99

Ancient DNA Typing

$109.99

Gaschromatographie

$54.99

Handbuch der Luftfahrt

$54.99

Stieffamilien in Deutschland

$64.99

Intelligent Systems and Machine Learning

$89.99

The Soviet Union

$54.99

Enzymes of Lipid Metabolism

$84.99

The Iranian Political Language

$109.99

Union Revitalisation in Advanced Economies

$84.99

Music Therapy with Autistic Children in Aotearoa, New Zealand

$139.99

High Pressure Chemistry

$219.99

The Politics of Vulnerable Groups

$109.00

Bildungstransfer im Unternehmenskontext

$59.99

Russia's Development Problem

$109.99

Biologic Effects of Light 2001

$169.99

Sensing Vehicle Conditions for Detecting Driving Behaviors

$54.99

Forest Mensuration

$109.99

10 Years Plant Molecular Biology

$109.99