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 Open Object-based Distributed Systems

Formal Methods for Open Object-based Distributed Systems

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

Object-based Distributed Computing is being established as the most pertinent basis for the support of large, heterogeneous computing and telecommunications systems. The advent of Open Object-based Distributed Systems (OODS) brings new challenges and opportunities for the use and development of formal methods. Formal Methods for Open Object-based Distributed Systems presents the latest research in several related fields, and the exchange of ideas and experiences in a number of topics including: formal models for object-based distributed computing; semantics of object-based distributed systems and programming languages; formal techniques in object-based and object oriented specification, analysis and design; refinement and transformation of specifications; multiple viewpoint modeling and consistency between different models; formal techniques in distributed systems verification and testing; types, service types and subtyping; specification, verification and testing of quality of service constraints and formal methods and the object life cycle. It contains the selected proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems, sponsored by the International Federation for Information Processing, and based in Paris, France, in March 1996.

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

Single Product Purchase

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

$169.00
See Site In stock Visit Store

Similar Products

Die Preuische Apothekenbetriebsordnung mit den ergnzenden Verordnungen und Erlassen

$59.99

Screening Twentieth Century Europe

$129.99

Markenfhrung von innen nach auen

$59.99

Chaos in Attitude Dynamics of Spacecraft

$109.00

Rechtsextremismus und Fremdenfeindlichkeit

$44.99

Die Herstellung der feuerfesten Baustoffe

$79.99

Digital Fingerprinting

$119.99

The Migration Industry in Asia

$64.99

Transnational Activism, Global Labor Governance, and China

$109.99

Vibration Engineering for a Sustainable Future

$219.99

Ethisches Denken in der Medizin

$69.99

Retail Banking

$44.99

Software Process Improvement and Capability Determination

$54.99

Walker Percy and the Crisis of Meaning

$129.99

Popular Media in Kenyan History

$99.99

Robotic Surgery

$169.00

Frauenleitbilder und Bildung in der westdeutschen Nachkriegszeit

$69.99

Fundamentals of Dairy Chemistry

$329.99

Dnde estoy?

$7.49

Deindustrialisation in Twentieth-Century Europe

$159.99

Untersuchungen ber die Grnde von Abweichungen in der Fadenlnge gleichartiger und unter gleichen V

$44.99

The Institutional Economics of the International Economy

$109.99

Nuclear Analytical Methods in the Life Sciences 1994

$169.99

Mindful Education

$139.99

Rendezvous in Distributed Systems

$159.99

Constraint Solving and Language Processing

$49.99

Upcycling Legume Water: from wastewater to food ingredients

$109.99

Fundamentals of Finslerian Diffusion with Applications

$129.00

Nuclear Pion Photoproduction

$39.99

Allgemeine Rntgenkunde

$59.99

Harry Potter and the Deathly Hallows (Hardcover)

$28.49

Glass-Ceramics and Photo-Sitalls

$54.99

Freshwaters of Alaska

$129.00

Technikfolgenabschtzung

$44.99

Electronic Devices for Analog Signal Processing

$109.99

Brcken zwischen dir und mir

$29.99

Branching Processes in Biology

$39.99

Die Systeme der progressiven Kundenwerbung unter besonderer Bercksichtigung des Multi-Level-Marketi

$24.99

25 Quick Formative Assessments for a Differentiated Classroom, 2nd Edition (10-copy pack)

$164.90

Temporal and Spatial Patterns in Carbonate Platforms

$39.99