Code: 01562207

Formal Methods for Open Object-Based Distributed Systems

Name: Formal Methods for Open Object-Based Distributed Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01562207
Price: 51.76 EUR
Availability: InStock
Author: Roberto Gorrieri
ISBN: 9783540348931

by Roberto Gorrieri, Heike Wehrheim

Language: English
Binding: Paperback
Number of pages: 276
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006
More about this

51.76 €

RRP: 56.04 €

You save 4.29 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

The Millionaire Fastlane
33.83 €
Buy
Hacking: The Art Of Exploitation
34.84 € -30 %
Buy
Security Engineering - A Guide to Building Dependable Distributed Systems, Third Edition
51.96 € -25 %
Buy
Guide to the Methodologies of Homeopathy
13.87 € -2 %
Buy
Art of Intrusion - The Real Stories Behind the Exploits of Hackers, Intruders and Deceivers
15.19 € -26 %
Buy
NLT Courage for Life Study Bible for Women, Filament-Enabled Edition (Softcover)
25.11 € -25 %
Buy
Kawasaki ZX-6R Ninja (95 - 02)
40.92 € -10 %
Buy
Pohřbeni zaživa
10.32 € -24 %
Buy
Missing Joseph
10.83 € -29 %
Buy
Samolepková knížka Počasí a roční období
4.45 € -22 %
Buy
Brit
34.94 €
Buy
The Lord Peter Wimsey Super Pack
37.88 €
Buy
Practical Signal Processing
61.08 €
Buy
LÜK
7.89 €
Buy
Inés del alma mía
22.88 € -12 %
Buy
DK Kinderlexikon. Die Erde
12.75 € -15 %
Buy
Pi-Calculus
85.69 €
Buy
Communicating and Mobile Systems
75.26 €
Buy
Unterrichtseinheit
16.20 € -10 %
Buy
Was ist Kunst, IRWIN?
22.68 € -18 %
Buy
The New York Game: Baseball and the Making of the World's Greatest City
24.71 € -27 %
Buy
Occupy Pynchon
30.28 €
Buy
Peugeot 206 von 10/98 bis 5/13
30.18 € -14 %
Buy
richtige Weg zum Keyboardspielen (Stufe 6)
15.29 € -10 %
Buy
When Life Was Hard & Fast
15.79 € -29 %
Buy
Little Letters of Good Cheer
9.72 € -9 %
Buy
100 Questions for Dad: A Journal to Inspire Reflection and Connection
14.78 € -25 %
Buy
Leonard Bernstein
52.57 €
Buy
Bioactive Marine Heterocyclic Compounds
36.46 € -18 %
Buy
Next to Nature
16 € -25 %
Buy
Revival
29.57 € -9 %
Buy
Estudo da contextualizacao em provas de quimica
39.30 € -14 %
Buy
Saxon Math Intermediate Grd 5
74.95 €
Buy
Vierte Ort
25.11 € -11 %
Buy
Midrás Qohélet Rabbah. Las vanidades del mundo
52.06 €
Buy
Bioinformatics Using Computational Intelligence Paradigms
103.12 € -7 %
Buy
Transformations of Mind
76.27 €
Buy
Garten des antiken Roms
16.20 € -10 %
Buy
Crossings: A Memoir in Verse
14.07 € -6 %
Buy
George R. Moore, Plaintiff and Respondent, Agaist William C. Conner and Others, Executors, & C., Defendants and Appellants
13.26 € -25 %
Buy
Smart Distributed Embedded Systems for Healthcare Applications
190.14 €
Buy
Gabriel
16.20 € -18 %
Buy
Hochschulorganisation Und Hochschuldidaktik
25.11 € -24 %
Buy
Geology of the Northwest African Continental Margin
103.12 € -7 %
Buy
Videocurso básico de shiatsu : camino de shiatsu
17.21 €
Buy
Äthiopien
35.65 € -11 %
Buy
Sexualerziehung als Thema im Sachunterricht
42.84 € -11 %
Buy
Bound to the Orc Ranger
13.06 € -2 %
Buy
Drugs in Inflammation
51.76 € -7 %
Buy
Muchas Maneras de Ser Una Familia (Many Ways to Be a Family)
25.21 € -6 %
Buy
Gouvernementalität der Gegenwart
22.88 € -4 %
Buy
How to Build Self-Discipline
19.34 € -2 %
Buy
True Dreams
19.34 € -2 %
Buy
The Race Horse: How To Buy, Train, And Run Him (1892)
29.27 € -1 %
Buy
Inspektor Kajetan und die Sache Koslowski
9.11 € -10 %
Buy
Educar en el aula 2 años
20.45 €
Buy
La Poesie Patriotique En France Dans Les Temps Modernes. I. Xvie Et Xviie Siecles (Ed.1894)
28.05 € -6 %
Buy
Dynamic Taxonomies and Faceted Search
103.12 € -7 %
Buy
Culture and Politics in the Information Age
72.02 €
Buy
Bifurcation and Symmetry
91.06 €
Buy
The Magic of Modern Art - How to Love Modern & Contemporary Art
31.19 € -7 %
Buy
Avicenna on the Ontology of Pure Quiddity
168.46 € -7 %
Buy
Marshmallow River Friends Presents Daddy Ate The Cake!
20.76 € -17 %
Buy
CUERPO DE PROFESORES DE ENSEÑANZA SECUNDARIA, DIBUJO. TEMARI
7.69 €
Buy
Wild Madder
18.12 € -9 %
Buy
Democracy, Islam, and Secularism in Turkey
142.73 €
Buy
Distributed Pi-Calculus
95.22 €
Buy
Livre Des Jours
11.34 € -14 %
Buy
Las estrellas : guía fácil de observación
9.21 € -4 %
Buy
Cross-Channel-Management
37.88 € -6 %
Buy
Metabolic Profiling
109.50 €
Buy
Diccionario teológico del catecismo de la Iglesia Católica
28.96 €
Buy
BATMAN Y SUPERMAN - COLECCION NOVELAS GRAFICAS NUM. 66: BATM
18.12 €
Buy
Contemporary Views on the Holocaust
109.50 €
Buy
Fundamentals of Robotics: Fun for parents and children
11.54 € -7 %
Buy
Career Development of Deaf and Hard of Hearing Adolescents
78.20 € -2 %
Buy
Bare Naked and Floating
7.28 € -6 %
Buy
Secret Book of the Philosopher's Stone
14.88 € -1 %
Buy
Events and Their Afterlife
45.98 €
Buy
Acing the Interview
24.30 € -7 %
Buy
Evolutionary Computations
103.12 € -7 %
Buy
Odysseia
59.35 € -5 %
Buy
Made in China - Produktruckrufmanagement und Unternehmenswertentwicklung
18.02 € -10 %
Buy
Detras de Las Barras y Las Estrellas
13.06 € -2 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Formal Methods for Open Object-Based Distributed Systems

Book details
Synopsis
Trending among others

You get 125 loyalty points

Book synopsis

This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2006, held in Bologna, Italy, June 2006. The book presents 16 revised full papers together with an invited paper and abstracts of 2 invited talks. Coverage includes component- and model-based design, service-oriented computing, software quality, modeling languages implementation, formal specification, verification, validation, testing, and service-oriented systems.

Book details

Book category Knihy po anglicky Computing & information technology Computer hardware Network hardware

51.76 €

Full title: Formal Methods for Open Object-Based Distributed Systems
Subtitle: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings
Author: Roberto Gorrieri, Heike Wehrheim
Language: English
Binding: Paperback
Number of pages: 276
EAN: 9783540348931
ISBN: 354034893X
ID: 01562207
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 890 g
Dimensions: 235 × 155 × 16 mm
Date of publishing: 09. June 2006