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: 55.93 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

55.93 €

Low in stock at our supplier
Shipping in 11 - 15 days

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.

Add to wishlist

The Millionaire Fastlane
33.74 €
Buy
Hacking: The Art Of Exploitation
34.65 € -29 %
Buy
Security Engineering - A Guide to Building Dependable Distributed Systems, Third Edition
51.98 € -25 %
Buy
Kawasaki ZX-6R Ninja (95 - 02)
40.73 € -14 %
Buy
Art of Intrusion - The Real Stories Behind the Exploits of Hackers, Intruders and Deceivers
14.99 € -25 %
Buy
NLT Courage for Life Study Bible for Women, Filament-Enabled Edition (Softcover)
25.12 € -25 %
Buy
Guide to the Methodologies of Homeopathy
9.52 € -32 %
Buy
The Lord Peter Wimsey Super Pack
37.89 €
Buy
LÜK
7.89 €
Buy
Pohřbeni zaživa
10.33 € -24 %
Buy
Missing Joseph
11.85 € -25 %
Buy
Samolepková knížka Počasí a roční období
4.45 € -22 %
Buy
Brit
39.01 €
Buy
Practical Signal Processing
61.10 €
Buy
Inés del alma mía
25.53 € -2 %
Buy
DK Kinderlexikon. Die Erde
14.99 € -9 %
Buy
Pi-Calculus
85.73 €
Buy
Communicating and Mobile Systems
75.29 €
Buy
Was ist Kunst, IRWIN?
22.69 € -18 %
Buy
The New York Game: Baseball and the Making of the World's Greatest City
24.72 € -28 %
Buy
Occupy Pynchon
30.29 €
Buy
richtige Weg zum Keyboardspielen (Stufe 6)
21.37 € -6 %
Buy
Peugeot 206 von 10/98 bis 5/13
34.45 € -7 %
Buy
Little Letters of Good Cheer
9.72 € -9 %
Buy
Next to Nature
16.51 € -24 %
Buy
Leonard Bernstein
52.59 €
Buy
When Life Was Hard & Fast
15.80 € -29 %
Buy
100 Questions for Dad: A Journal to Inspire Reflection and Connection
14.79 € -25 %
Buy
Estudo da contextualizacao em provas de quimica
44.99 € -3 %
Buy
Saxon Math Intermediate Grd 5
74.48 €
Buy
Vierte Ort
34.55 € -7 %
Buy
Midrás Qohélet Rabbah. Las vanidades del mundo
57.15 €
Buy
Bioactive Marine Heterocyclic Compounds
36.47 € -18 %
Buy
Transformations of Mind
76.30 €
Buy
Revival
29.68 € -9 %
Buy
Unterrichtseinheit
16.21 € -10 %
Buy
Bioinformatics Using Computational Intelligence Paradigms
109.54 €
Buy
Garten des antiken Roms
16.21 € -10 %
Buy
Crossings: A Memoir in Verse
14.08 € -6 %
Buy
Videocurso básico de shiatsu : camino de shiatsu
19.04 €
Buy
Geology of the Northwest African Continental Margin
109.54 €
Buy
Gabriel
16.21 € -18 %
Buy
Smart Distributed Embedded Systems for Healthcare Applications
190.22 €
Buy
George R. Moore, Plaintiff and Respondent, Agaist William C. Conner and Others, Executors, & C., Defendants and Appellants
13.27 € -25 %
Buy
Sexualerziehung als Thema im Sachunterricht
42.86 € -11 %
Buy
Bound to the Orc Ranger
13.06 € -2 %
Buy
Gouvernementalität der Gegenwart
22.89 € -4 %
Buy
Drugs in Inflammation
55.93 €
Buy
Muchas Maneras de Ser Una Familia (Many Ways to Be a Family)
25.22 € -6 %
Buy
The Race Horse: How To Buy, Train, And Run Him (1892)
29.28 € -1 %
Buy
How to Build Self-Discipline
19.35 € -2 %
Buy
Inspektor Kajetan und die Sache Koslowski
10.94 € -5 %
Buy
Educar en el aula 2 años
22.59 €
Buy
Culture and Politics in the Information Age
72.05 €
Buy
La Poesie Patriotique En France Dans Les Temps Modernes. I. Xvie Et Xviie Siecles (Ed.1894)
29.79 €
Buy
Bifurcation and Symmetry
91.10 €
Buy
Dynamic Taxonomies and Faceted Search
109.54 €
Buy
CUERPO DE PROFESORES DE ENSEÑANZA SECUNDARIA, DIBUJO. TEMARI
8.50 €
Buy
Avicenna on the Ontology of Pure Quiddity
181.40 €
Buy
Marshmallow River Friends Presents Daddy Ate The Cake!
20.77 € -17 %
Buy
Las estrellas : guía fácil de observación
10.23 €
Buy
Democracy, Islam, and Secularism in Turkey
142.79 €
Buy
Hochschulorganisation Und Hochschuldidaktik
25.12 € -24 %
Buy
Livre Des Jours
17.42 € -7 %
Buy
Distributed Pi-Calculus
95.26 €
Buy
Wild Madder
18.13 € -9 %
Buy
Cross-Channel-Management
41.24 €
Buy
BATMAN Y SUPERMAN - COLECCION NOVELAS GRAFICAS NUM. 66: BATM
19.75 €
Buy
Diccionario teológico del catecismo de la Iglesia Católica
31.81 €
Buy
Metabolic Profiling
109.54 €
Buy
Bare Naked and Floating
7.29 € -6 %
Buy
True Dreams
19.35 € -2 %
Buy
Events and Their Afterlife
46 €
Buy
Fundamentals of Robotics: Fun for parents and children
11.54 € -7 %
Buy
Career Development of Deaf and Hard of Hearing Adolescents
78.23 € -2 %
Buy
Secret Book of the Philosopher's Stone
14.89 € -1 %
Buy
Contemporary Views on the Holocaust
109.54 €
Buy
delta 10
38.40 €
Buy
Acing the Interview
24.31 € -7 %
Buy
Odysseia
59.38 € -5 %
Buy
Evolutionary Computations
109.54 €
Buy
Felixstowe Through Time
17.12 € -24 %
Buy
The Magic of Modern Art - How to Love Modern & Contemporary Art
31.20 € -7 %
Buy
Poems, Dialogues In Verse And Epigrams V1: Dramatic Scenes (1892)
33.74 € -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 135 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 Books in English Computing & information technology Computer hardware Network hardware

55.93 €

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