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

Reinraumtechnik

$84.99

Organized Muslim Women in Turkey

$119.99

Maybe a Bear Ate It!

$4.46

Die Holzversorgung Nordrhein-Westfalens und des Ruhrgebiets insbesondere ber die Binnenwasserstrae

$59.99

Application of Machine Learning in Slope Stability Assessment

$199.99

Cellular Communication Networks and Standards

$99.99

Technology, Research and Professional Learning

$54.99

Minority Language Promotion, Protection and Regulation

$109.99

Achieving DevOps

$29.99

The Origin of Life Patterns

$59.99

Women Writers and the Dark Side of Late-Victorian Hellenism

$39.99

Advances in Material Forming

$109.99

Soil Water and Nitrogen in Mediterranean-type Environments

$39.99

Galliumszintigraphie

$69.99

kologische Belastungsgrenzen - Critical Loads & Levels

$79.99

Biochemistry and Structure of Cell Organelles

$39.99

Scholastic Reader! Level 3: Poppleton in Spring

$4.49

Die Pumpen

$39.99

KI 2012: Advances in Artificial Intelligence

$72.00

Hepatitis C Virus Treatment

$84.99

Partielle Differenzialgleichungen

$29.99

Psychology and Ontology in Plato

$109.99

Yeast Surface Display

$299.99

Berufliche Orientierung in der Schule

$59.99

Ordnungswidrigkeiten in Rundfunk und Telemedien

$69.99

Recent Progress in Nanobiotechnology

$219.99

Natrliche und Synthetische Zusatzstoffe in der Nahrung des Menschen

$79.99

Tocqueville-Handbuch

$99.99

Piriformospora indica

$129.00

Struktur der Materie: Grundlagen, Mikroskopie und Spektroskopie

$49.99

Ballistic Trauma

$109.00

Business and Sustainability

$109.99

Topics in Nonlinear Dynamics, Volume 1

$169.00

Enzyme Physics

$39.99

Drug Interactions in Infectious Diseases: Antimicrobial Drug Interactions

$109.00

Second Language Teacher Professional Development

$159.99

Enzymologie

$119.99

Applications of the Topological Derivative Method

$159.99

Handbuch Krpersoziologie 2

$149.99

Meteorites

$37.99