Code: 01568675

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: 01568675
Price: 51.65 EUR
Availability: InStock
Author: Marcello M. Bonsangue
ISBN: 9783540729198

by Marcello M. Bonsangue, Einar Broch Johnsen

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

51.65 €

RRP: 55.93 €

You save 4.28 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Supernatural: Bone Key
7.88 € -25 %
Buy
Bungo Stray Dogs, Vol. 10
12.02 € -9 %
Buy
Death
21.93 € -26 %
Buy
Friends: Central Perk Softcover Notebook
11.82 € -25 %
Buy
Medvěd lední velký
6.26 € -23 %
Buy
Simpsonovi Komiksový výbuch
9.70 € -21 %
Buy
S bicí soupravou taktem i dobou II.
7.17 € -21 %
Buy
Divertimenti
17.58 €
Buy
Discover English Global 1 Activity Book and Student's CD-ROM Pack
21.83 €
Buy
Sladký taliansky život
10.71 € -25 %
Buy
Nowe język polski to się czyta podręcznik 2 szkoła branżowa 68821
16.57 €
Buy
Eurhythmics for Young Children: Six Lessons for Fall
18.19 € -25 %
Buy
Zábavné objevování zvířátek
2.21 € -22 %
Buy
Crónicas de la Torre I. El Valle de los Lobos
16.37 €
Buy
Młodzi przyrodnicy. Na łące
7.27 € -34 %
Buy
Dis-moi où tu as mal, je te dirai pourquoi - édition 2022
28.50 €
Buy
Michael Faraday's the Chemical History of a Candle: With Guides to Lectures, Teaching Guides & Student Activities
11.51 € -7 %
Buy
How to Grow a Friend
17.58 € -10 %
Buy
Eine kurze Geschichte der Sprachen
31.23 € -11 %
Buy
Korea
25.06 € -25 %
Buy
Hardest Job in the World
15.36 € -28 %
Buy
Large Print Calm Dot-To-Dot
12.53 € -9 %
Buy
Convertible Bonds (Demystified)
52.36 €
Buy
Deutsch als Zweitsprache - systematisch fördern
28.40 € -6 %
Buy
Humic Substances & Natural Organic Matter
255.66 € -9 %
Buy
YNSA Nova craniopuntura de Yamamoto
43.36 €
Buy
What Does Green Mean?
29.11 € -24 %
Buy
Spring Song Singers
14.55 €
Buy
Introduction to the Bible
10.81 € -18 %
Buy
Handbook of Research on Financial and Banking Crisis Prediction through Early Warning Systems
274.87 €
Buy
Das Phänomen der Vagheit aus philosophischer Sicht. Defekt oder integraler Bestandteil der natürlichen Sprache?
16.17 € -10 %
Buy
Cuthberht of Lindisfarne
21.73 €
Buy
Phonics Book Bag Readers: Starter Pack 4
20.41 € -27 %
Buy
La Decima Legione: Milos, il Trace
19.91 € -6 %
Buy
Transfer and Diffusion of Information Technology for Organizational Resilience
102.90 € -7 %
Buy
Fractal Bookmarks Vol. 2
15.86 € -7 %
Buy
Adventures in a Midwest Purgatory
31.43 €
Buy
Sparo Rising
13.03 € -2 %
Buy
Allens bloots Minschenwark
7.27 € -8 %
Buy
Between the Image and the Word
224.52 €
Buy
§§ 311, 311a, 312, 312a-i
193.69 €
Buy
Changing the Course of AIDS
65.50 €
Buy
Identity and Agency in England, 1500-1800
53.27 € -4 %
Buy
Diary - choose your own year: Plastic Toy Soldier Edition
11.51 € -6 %
Buy
Psychological Processes in International Negotiations
55.69 €
Buy
Multicultural Teaching in the Early Childhood Classroom
107.55 €
Buy
Papa Noel libro para colorear 1
9.80 € -6 %
Buy
Epitres Liberales En Vers, Ou Satires Comme on Voudra, A Mes Souliers, Aux Arts, A Rien
13.03 € -1 %
Buy
History and Catalogue of the Miami Chapter of Delta Upsilon Fraternity 1949-2018
9.80 € -6 %
Buy
Der deutsche Freund
10.81 €
Buy
La Ville Dans l'Emploi Du Temps de Michel Butor
27.29 €
Buy
Brief an den Vater
9.09 € -10 %
Buy
Book of the Opening of the Mouth: Vol. II
83.70 €
Buy
A Blavatsky Quotation Book: Being an Extract for Each Day of the Year
34.56 € -2 %
Buy
Partial Differential Equations IX
102.90 € -7 %
Buy
S. Hilarii Tractatvs de Mysteriis Et Hymni Et S. Silviae Aqvitanae Peregrinatio Ad Loca Sancta
17.38 € -25 %
Buy
Familie in Deutschland nach Neidhardt
16.17 € -10 %
Buy
The Burial of the Dead
16.17 € -14 %
Buy
The Power to Choose
16.27 € -9 %
Buy
Agnes I. Numer - A Call to The Nations
13.03 € -2 %
Buy
Thesaurus Linguae Latinae / Editus Auctoritate Et Consilio Academiarum Quinque Germanicarum Berolinensis, Gottingensis, Lipsiensis, Monacensis, Vindob
13.84 € -2 %
Buy
Bitkiler Beslenme, Saglik ve Hastalikta
49.83 € -4 %
Buy
Die Amalgame Stadt
57.82 € -4 %
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 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007, held in Paphos, Cyprus, June 2007.§The 17 revised full papers presented together with two invited papers cover model checking rewriting logic components and services algebraic calculi specification, verification and refinement, and quality of service.

Book details

Book category Books in English Computing & information technology Computer programming / software development Programming & scripting languages: general

51.65 €

Full title: Formal Methods for Open Object-Based Distributed Systems
Subtitle: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
Author: Marcello M. Bonsangue, Einar Broch Johnsen
Language: English
Binding: Paperback
Number of pages: 317
EAN: 9783540729198
ISBN: 3540729194
ID: 01568675
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 516 g
Dimensions: 235 × 155 × 20 mm
Date of publishing: 25. May 2007