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

Units und Utilities fr Turbo Pascal

$59.99

Automata for Branching and Layered Temporal Structures

$39.99

Novel Synthetic Drugs in Migraine

$119.99

The Essence of Computation

$39.99

Auto-Inflammatory Syndromes

$139.99

Computational Science and Its Applications ICCSA 2022

$79.99

Cystic Fibrosis

$89.00

Healthcare Information Privacy and Security

$59.99

Formation and Dynamics of Self-Organized Structures in Surfactants and Polymer Solutions

$39.99

Grab and Go Pack Theme 2: Social-Emotional Development Grade 4 Spanish

$29.95

Dynamics, Games and Science II

$279.99

Instruktion durch Text und Diskurs

$69.99

Exhibiting Modernity and Indonesian Vernacular Architecture

$39.99

Zur Theorie, Empirie und Politik der Einkommensverteilung

$69.99

Rewriting the History of School Mathematics in North America 1607-1861

$109.99

Strategie fr die Portierung von Desktop-Business-Anwendungen auf iOS-gesttzte Endgerte

$59.99

The Invisible Origins of Legal Positivism

$109.99

Organisationsdynamik

$59.99

A Brief on Tensor Analysis

$54.95

The History of Feudalism

$74.99

Understanding Cybersecurity Management in FinTech

$49.99

Quick Guide Strategien fr Dienstleister

$29.99

Twenty Years of Ozone Decline

$219.99

Advances in Bioprocess Engineering and Technology

$219.99

Orchestermanagement

$34.99

Where Do You Think You're Going, Christopher Columbus? (Hardcover)

$17.99

Kriegs- und Wehrwesen im unterricht

$59.99

Numerical Methods for Eulerian and Lagrangian Conservation Laws

$74.99

Sustainable and Safe Nuclear Fission Energy

$169.99

Structural Information and Communication Complexity

$84.99

Die Nassbagger und die dazu gehrenden Hilfsgerte

$69.99

The Minish Cap

$7.49

Defining Democracy in a Digital Age

$39.99

Managing Change in the Postal and Delivery Industries

$109.99

Transformation der Tafeln in Deutschland

$39.99

Examining the Submicron World

$39.99

A Theological Account of Nat Turner

$39.99

Numerical Solutions of Partial Differential Equations

$34.99

Transportmanagement

$44.99

Minimally Processed Refrigerated Fruits & Vegetables

$109.99