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
9783540688631
Condition
New
Product Description

This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008. The 14 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from 35 submissions. The papers cover topcics such as semantics of object-oriented programming; formal techniques for specification, analysis, and refinement; model checking; theorem proving and deductive verification; type systems and behavioral typing; formal methods for service-oriented computing; integration of quality of service requirements into formal models; formal approaches to component-based design; and applications of formal methods.

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

Single Product Purchase

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

$39.99
See Site In stock Visit Store

Similar Products

Die Werte des Kitschs

$69.99

Evolutionary Swarm Robotics

$169.99

Altern gestalten - Medizin, Technik, Umwelt

$84.99

The Macmillan-Eisenhower Correspondence, 1957-69

$109.99

Control of Complex Nonlinear Systems with Delay

$84.99

Map Framework

$84.99

23 Stundenkonzepte fr Menschen mit Demenz

$29.99

Dark Breaks the Dawn

$7.49

Let's Play!

$19.99

Quantitative Methods in Proteomics

$109.99

Die Krisis des deutschen rztestandes

$69.99

Biology and Therapy of Acute Leukemia

$169.99

The European Union and Internal Security

$54.99

Smart Education and e-Learning 2020

$229.00

Practical Psychology in Medical Rehabilitation

$199.99

Wave Propagation in Viscoelastic and Poroelastic Continua

$109.99

Tobacco Regulation, Economics, and Public Health, Volume I

$119.99

Storytelling Math: Usha and the Big Digger

$5.96

Ziele multinationaler Unternehmen

$59.99

Islam and the Path to Human and Economic Development

$54.99

International Approaches to Securing Radioactive Sources Against Terrorism

$219.99

Excitons in Confined Systems

$109.99

Practitioners Guide to Symptom Base Rates in Clinical Neuropsychology

$84.99

Fibonacci's De Practica Geometrie

$119.00

Physical Virology

$109.00

Mathematische Algorithmen und Computer-Performance kompakt

$19.99

Reproductive Decision-Making in a Macro-Micro Perspective

$39.99

Akustik I / Acoustics I

$109.99

Information Fusion and Geographic Information Systems (IF&GIS 2013)

$109.99

Handbook of Politics

$169.00

Coastal Ocean Observing

$129.99

Compliance in der Europischen Union

$44.99

How Helminths Alter Immunity to Infection

$39.99

Dance Matters in Ireland

$109.99

Witness To A Changing Earth

$34.99

Settler Colonialism

$59.99

Guided Reading Level F Pack 1

$61.00

The Contemporary Hotel Industry

$129.99

The UNC-53-mediated Interactome

$54.99

2018 Press Conference Records of Ministry of Ecology and Environment, the Peoples Republic of China

$109.99