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

Formal Aspects of Component Software

Best Price (Coupon Required):
Buy Formal Aspects of Component Software for $36.00 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: $39.99 - $39.99
BEST PRICE

Single Product Purchase

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

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

Product Details

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

Reviews

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

Questions & Answers

Similar Products

Bone Adventures

Bone Adventures

$7.49
Russlands Auenpolitik

Russlands Auenpolitik

$19.95
Representation Theory and Noncommutative Harmonic Analysis I

Representation Theory and Noncommutative Harmonic Analysis I

$109.99
Innovative Practices in Teaching Information Sciences and Technology

Innovative Practices in Teaching Information Sciences and Technology

$54.99
A Comparative Look at Regulation of Corporate Tax Avoidance

A Comparative Look at Regulation of Corporate Tax Avoidance

$169.99
Surviving the 21st Century

Surviving the 21st Century

$37.99
Auslaufmodell Fernsehen?

Auslaufmodell Fernsehen?

$39.99
Zielgruppenspezifische Interventionen zur Energiereduktion

Zielgruppenspezifische Interventionen zur Energiereduktion

$64.99
The Allegheny Woodrat

The Allegheny Woodrat

$169.99
Fundamentals of Space Business and Economics

Fundamentals of Space Business and Economics

$64.99
Kierkegaard and Freedom

Kierkegaard and Freedom

$109.99
Progress in Cryptology - INDOCRYPT 2001

Progress in Cryptology - INDOCRYPT 2001

$39.99
Modernity and the Final Aim of History

Modernity and the Final Aim of History

$109.99
Hagers Handbuch der pharmazeutischen Praxis

Hagers Handbuch der pharmazeutischen Praxis

$99.99
Die Erkennung der Feld-, Wiesen- und Weide-Ungrser unter Bercksichtigung ihrer Bltenstnde

Die Erkennung der Feld-, Wiesen- und Weide-Ungrser unter Bercksichtigung ihrer Bltenstnde

$59.99
Databases in Networked Information Systems

Databases in Networked Information Systems

$54.99
Einfhrung in Evolutionre Algorithmen

Einfhrung in Evolutionre Algorithmen

$44.99
Advanced Computational Methods in Energy, Power, Electric Vehicles, and Their Integration

Advanced Computational Methods in Energy, Power, Electric Vehicles, and Their Integration

$109.99
Betriebsverhalten der Synchronmaschine

Betriebsverhalten der Synchronmaschine

$49.99
Modeling and Using Context

Modeling and Using Context

$39.99
Multimedia Databases and Image Communication

Multimedia Databases and Image Communication

$39.99
Unternehmertum und Public Private Partnership

Unternehmertum und Public Private Partnership

$69.99
Quantitative Methods in Biological and Medical Sciences

Quantitative Methods in Biological and Medical Sciences

$39.99
Interest Rate Dynamics, Derivatives Pricing, and Risk Management

Interest Rate Dynamics, Derivatives Pricing, and Risk Management

$54.99
Geopolitical Risk, Sustainability and Cross-Border Spillovers in Emerging Markets, Volume II

Geopolitical Risk, Sustainability and Cross-Border Spillovers in Emerging Markets, Volume II

$139.99
Practical Goal Programming

Practical Goal Programming

$84.99
Geo-Sustainnovation for Resilient Society

Geo-Sustainnovation for Resilient Society

$169.00
Endstadien der Sternentwicklung. Quantenmechanische Rotationsanregungen in Kristallen

Endstadien der Sternentwicklung. Quantenmechanische Rotationsanregungen in Kristallen

$59.99
Concepts in Bioscience Engineering

Concepts in Bioscience Engineering

$54.99
Hell and Other Destinations- A 21st-Century Memoir by Madeleine Albright

Hell and Other Destinations- A 21st-Century Memoir by Madeleine Albright

$18.99
Parallel Processing and Applied Mathematics

Parallel Processing and Applied Mathematics

$84.99
Mass Hate

Mass Hate

$54.99
Subnational Government

Subnational Government

$109.99
Literary Lists

Literary Lists

$49.99
Indigenous Peoples and Real Estate Valuation

Indigenous Peoples and Real Estate Valuation

$179.99
Climate Change and Environmental Sustainability

Climate Change and Environmental Sustainability

$249.99
Varieties of Governance

Varieties of Governance

$89.00
My Brother Charlie (Hardcover)

My Brother Charlie (Hardcover)

$14.24
Optimistic Library Grade 2

Optimistic Library Grade 2

$270.00
Alte und Neue Logik

Alte und Neue Logik

$179.99
previous
next