Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
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.
Single Product Purchase
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
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
Events und E-Commerce
$39.99
Lichtwellenleiter fr die optische Nachrichtenbertragung
$69.99
Einfhrung in die klassische Mathematik I
$59.99
Wirkungsweise der Motorzhler und Mewandler mit besonderer Bercksichtigung der Blind-, Misch- und
$59.99
Educational Encounters: Nordic Studies in Early Childhood Didactics
$84.99
E-Democracy Safeguarding Democracy and Human Rights in the Digital Age
$54.99
Socio-Environmental Research in Latin America
$199.99
Empire, Nation-building, and the Age of Tropical Medicine, 18851960
$139.99
Psychische Gesundheit bei der Arbeit
$29.99
Database Theory and Application, Bio-Science and Bio-Technology
$54.99
Analysis and Synthesis of Dynamical Systems with Time-Delays
$109.99
Design, Specification and Verification of Interactive Systems 97
$54.99
Verantwortung
$44.99
Decoherence and Entropy in Complex Systems
$39.99
The Tobacco-Plantation South in the Early American Atlantic World
$39.99
Bioluminescence
$89.00
Develop Microsoft HoloLens Apps Now
$39.99
Jahrbuch des Staatlichen Instituts fr Musikforschung (SIM) Preussischer Kulturbesitz, 1995
$49.99
Improved Classification Rates for Localized Algorithms under Margin Conditions
$39.99
Surgery for Endocrinological Diseases and Malformations in Childhood
$54.99
Principles of Food Processing
$179.99
A Beginners Guide to Statistics for Criminology and Criminal Justice Using R
$64.99
Spatial Representation and Motion Planning
$39.99
Inputevaluation in der europischen Forschungspolitik
$39.99
Pro Tableau
$64.99
The Widening World of Childrens Literature
$84.99
Index Matrices: Towards an Augmented Matrix Calculus
$84.99
Franz Overbeck: Werke und Nachla
$79.99
Objektorientierte Programmierung mit Turbo Pascal
$44.99
Cancer Metastasis
$109.99
Phenomenology of the Cultural Disciplines
$129.00
Modelling Value
$169.99
Die dreidimensionale Ultraschalldiagnostik
$59.99
Beginning Java SE 6 Platform
$34.99
Aerosol Optics
$109.99
Recht und Sittlichkeit
$59.99
Digital Game-based Learning
$17.99
Symmetry Breaking in the Standard Model
$14.99
Theoretische Atomphysik
$54.99
ras Oncogenes
$39.99
