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

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

Bungo Stray Dogs, Vol. 10
11.85 € -11 %
Buy
Supernatural: Bone Key
7.89 € -25 %
Buy
Friends: Central Perk Softcover Notebook
9.31 € -25 %
Buy
Death
21.48 € -27 %
Buy
How to Grow a Friend
17.22 € -9 %
Buy
S bicí soupravou taktem i dobou II.
6.78 € -25 %
Buy
Divertimenti
17.93 €
Buy
Discover English Global 1 Activity Book and Student's CD-ROM Pack
21.98 €
Buy
Nowe język polski to się czyta podręcznik 2 szkoła branżowa 68821
16.61 €
Buy
Zábavné objevování zvířátek
2.22 € -22 %
Buy
Crónicas de la Torre I. El Valle de los Lobos
16.31 €
Buy
Młodzi przyrodnicy. Na łące
7.29 € -34 %
Buy
Dis-moi où tu as mal, je te dirai pourquoi - édition 2022
27.66 €
Buy
Korea
25.12 € -25 %
Buy
Hardest Job in the World
15.50 € -27 %
Buy
Large Print Calm Dot-To-Dot
12.56 € -9 %
Buy
YNSA Nova craniopuntura de Yamamoto
43.47 €
Buy
Humic Substances & Natural Organic Matter
256.29 € -9 %
Buy
Handbook of Research on Financial and Banking Crisis Prediction through Early Warning Systems
278.79 €
Buy
Cuthberht of Lindisfarne
21.78 €
Buy
Phonics Book Bag Readers: Starter Pack 4
20.56 € -27 %
Buy
Spring Song Singers
14.58 €
Buy
Introduction to the Bible
10.83 € -18 %
Buy
Changing the Course of AIDS
65.66 €
Buy
Identity and Agency in England, 1500-1800
55.93 €
Buy
Das Phänomen der Vagheit aus philosophischer Sicht. Defekt oder integraler Bestandteil der natürlichen Sprache?
16.21 € -10 %
Buy
Deutsch als Zweitsprache - systematisch fördern
33.13 €
Buy
Multicultural Teaching in the Early Childhood Classroom
107.82 €
Buy
Papa Noel libro para colorear 1
9.82 € -6 %
Buy
Epitres Liberales En Vers, Ou Satires Comme on Voudra, A Mes Souliers, Aux Arts, A Rien
13.06 € -1 %
Buy
Sparo Rising
13.06 € -2 %
Buy
Brief an den Vater
9.11 € -10 %
Buy
Allens bloots Minschenwark
13.16 € -7 %
Buy
Book of the Opening of the Mouth: Vol. II
78.94 €
Buy
A Blavatsky Quotation Book: Being an Extract for Each Day of the Year
34.65 € -2 %
Buy
Familie in Deutschland nach Neidhardt
16.21 € -10 %
Buy
Diary - choose your own year: Plastic Toy Soldier Edition
11.54 € -6 %
Buy
S. Hilarii Tractatvs de Mysteriis Et Hymni Et S. Silviae Aqvitanae Peregrinatio Ad Loca Sancta
17.42 € -25 %
Buy
La Decima Legione: Milos, il Trace
19.95 € -6 %
Buy
§§ 311, 311a, 312, 312a-i
194.27 €
Buy
Partial Differential Equations IX
109.54 €
Buy
The Power to Choose
15.80 € -9 %
Buy
Bitkiler Beslenme, Saglik ve Hastalikta
49.95 € -4 %
Buy
Fractal Bookmarks Vol. 2
15.90 € -7 %
Buy
Thesaurus Linguae Latinae / Editus Auctoritate Et Consilio Academiarum Quinque Germanicarum Berolinensis, Gottingensis, Lipsiensis, Monacensis, Vindob
13.87 € -2 %
Buy
Adventures in a Midwest Purgatory
31.31 €
Buy
Transfer and Diffusion of Information Technology for Organizational Resilience
109.54 €
Buy
Psychological Processes in International Negotiations
55.93 €
Buy
Der deutsche Freund
10.83 € -5 %
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 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

55.93 €

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