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 for Components and Objects

Formal Methods for Components and Objects

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

Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to construct such large systems in a systematic manner, the focus in the development methodologies has switched in the last two decades from functional issues to structural issues: both data and functions are enc- sulated into software units that are integrated into large systems by means of various techniques supporting reusability and modi?ability. This encapsulation principleisessentialtoboththeobject-orientedandthemorerecentcompone- based sofware engineering paradigms. Formalmethodshavebeenappliedsuccessfullytotheveri?cationofmedi- sized programs in protocol and hardware design. However, their application to large systems requires the further development of speci?cation and veri?cation techniques supporting the concepts of reusability and modi?ability. In order to bring together researchers and practioners in the areas of so- ware engineering and formal methods, we organized the 1st International S- posium on Formal Methods for Components and Objects (FMCO) in Leiden, The Netherlands, November 58, 2002. The program consisted of invited tu- rials and more technical presentations given by leading experts in the ?elds of Theoretical Computer Science and Software Engineering. The symposium was attended by more than 100 people. This volume contains the contributions of the invited speakers to FMCO 2002. We believe that the presented material provides a unique combination of ideas on software engineering and formal methods which we hope will be an inspiration for those aiming at further bridging the gap between the theory and practice of software engineering.

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

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon Get Coupon & BUY

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

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

Similar Products

British Muslim Politics

$39.99

Micro-, Meso- and Macro-Dynamics of the Brain

$59.99

Soziale Demokratie

$29.99

Die Sptbronzezeitliche Keramik der Schweiz und Ihre Chronologie

$49.95

Analytical Applications of FT-IR to Molecular and Biological Systems

$219.99

Meningiomas. Multiple Sclerosis. Forensic Problems in Neurosurgery

$54.99

Managing Innovation in Japan

$109.99

Information Systems Theory

$249.99

De-Medicalizing Misery II

$54.99

Computational Methods and Experimental Testing In Mechanical Engineering

$169.99

Prophylaxe und Therapie der Infektionskrankheiten und Idiosynkrasien mit spezifischen und unspezifis

$49.99

A Historical and Legal Comparison between Tianxia Wei Gong and Quod Omnes Tangit

$139.99

Revealing New Truths about Spain's Violent Past

$44.99

Fictional Worlds and Philosophical Reflection

$159.99

Clifford the Big Red Dog: Clifford Takes a Trip

$4.49

Beast- John Bonham and the Rise of Led Zeppelin by C. M. Kushins

$19.99

Integrated Soil and Sediment Research: A Basis for Proper Protection

$329.99

Information Security and Privacy

$39.99

Der Bau- und Maurermeister in der Praxis

$59.99

Contemporary Challenges of Transport Systems and Traffic Engineering

$169.99

Nichtlineare Schaltungen

$49.99

Deutschlandpolitik in der ffentlichen Meinung

$59.99

Colloidal and Morphological Behavior of Block and Graft Copolymers

$109.99

Multimedia and Groupware for Editing

$39.99

Networking, Intelligent Systems and Security

$279.99

Transient Electromagnetic Fields

$39.99

Evaluating AAL Systems Through Competitive Benchmarking

$54.99

A New Perspective on Thermodynamics

$84.99

Algorithms -- ESA 2004

$109.99

Cruel, Inhuman or Degrading Treatment?

$54.99

War and Data on Armed Conflicts

$139.99

Multi-scale Quantitative Diagenesis and Impacts on Heterogeneity of Carbonate Reservoir Rocks

$119.99

Ethical Issues in Health Care on the Frontiers of the Twenty-First Century

$169.99

Controlled Radical Polymerization at and from Solid Surfaces

$219.99

Mobile Robot: Motion Control and Path Planning

$249.99

Scalar Conservation Laws

$54.99

Kindler Kompakt: Amerikanische Literatur, 20. Jahrhundert

$19.99

Testing of Communicating Systems

$129.00

Modulated Apertures and Resolution in Microscopy

$49.99

Order and Disorder in the World of Atoms

$74.99