Code: 01560735

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: 01560735
Price: 51.78 EUR
Availability: InStock
Author: Martin Steffen
ISBN: 9783540261810

by Martin Steffen, Gianluigi Zavattaro

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

51.78 €

RRP: 56.07 €

You save 4.29 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Rainbow High - Carnet de mode (éd. 2024)
14.18 €
Buy
The ACT Deck: 55 Acceptance & Commitment Therapy Practices to Build Connection, Find Focus and Reduce Stress
12.46 € -26 %
Buy
Dna moczanowa Dieta i jadlospisy dla smakoszy
8.71 € -12 %
Buy
The Egyptian Cinderella
7.89 € -25 %
Buy
Quantum Physics and Higher Consciousness
21.78 € -24 %
Buy
Sci fuoripista. Manuale di tecniche di discesa
19.25 € -3 %
Buy
New Total English Intermediate Students' Book with Active Book Pack
31.61 € -5 %
Buy
Real Estate Agent Success for Beginners
11.34 € -32 %
Buy
Hoxsey Therapy
16.21 € -17 %
Buy
Biológia II.
27.35 € -20 %
Buy
Modern Poker: Why It Is Impractical to Use Pot Odds in Texas Hold'em
15.60 € -3 %
Buy
Feed your Monster
8.71 € -25 %
Buy
How Stella Learned to Talk
13.27 € -15 %
Buy
Nuclear Locally Convex Spaces
51.78 € -7 %
Buy
Pamietnik czarnego noska
4.25 € -14 %
Buy
Antisemitism: A Very Short Introduction
10.02 € -24 %
Buy
Building a Better World in Your Backyard
13.47 € -24 %
Buy
African Spurred Tortoises as Pets. African Spurred Tortoise Book for Care, Housing, Keeping, Diet and Health.
10.12 € -18 %
Buy
Kdo to ví, odpoví! Cesta kolem světa
5.87 € -20 %
Buy
Estetický prožitek
11.14 € -15 %
Buy
Ravensburger Malen nach Zahlen Wilde Tiere - 32 Motive - 24 Farben - Malbuch mit nummerierten Ausmalfeldern für fortgeschrittene Fans der Reihe
6.48 € -8 %
Buy
Brothers and Wives: Inside the Private Lives of William, Kate, Harry, and Meghan
14.08 € -25 %
Buy
El club de las canguro. Julia y los niños imposibles
25.63 €
Buy
Problem-Based Learning in Clinical Education
103.16 € -7 %
Buy
Unlikely Adventures of the Shergill Sisters
12.15 € -14 %
Buy
Palgrave Handbook of State-Sponsored History After 1945
327.74 €
Buy
Die 30 besten Urlaubs- und Sommerlieder
12.46 € -9 %
Buy
Attersee - Traunsee - Hollengebirge - Mondsee
11.75 € -14 %
Buy
Herbert A. Simon
66.98 €
Buy
Beast
14.08 € -7 %
Buy
Joomla 4.0 logisch!
7.29 € -9 %
Buy
1.e4 vs The Sicilian III
25.12 € -4 %
Buy
Comforters
12.76 € -24 %
Buy
Processing and Nutrition of Fats and Oils
219.50 € -10 %
Buy
Practical Guide to Choral Conducting
70.02 €
Buy
Caring For Elderly Patients: Help and Guidance from a Sympathetic Doctor Who Has Lived It
9.72 € -7 %
Buy
The Conspiracy Trial for the Murder of the President, and the Attempt to Overthrow the Government by the Assassination of Its Principal Officers
29.28 € -1 %
Buy
Accelerating Expansion Philosophy and Physics with a Positive Cosmological Constant (Hardback)
94.04 €
Buy
Study Guide for Chitra Banerjee Divakaruni's Cutting the Sun
11.24 € -2 %
Buy
Scanning Electron Microscopy and X-Ray Microanalysis
109.54 €
Buy
Bell Bomber Plant
23.10 € -25 %
Buy
Penthesilea
46 €
Buy
Direct Legislation by the Citizenship through the Initiative and Referendum
11.75 € -14 %
Buy
Free to be - A Memoir of an Examined Life
16.21 € -24 %
Buy
Double Octane Tarot
24.52 € -1 %
Buy
Queen of Spades and Other Russian Stories
16.31 €
Buy
Returned - They left to wage jihad, now they're back
45.80 € -26 %
Buy
Making Moon: A British Sci-Fi Cult Classic
32.83 € -19 %
Buy
Running Around the World: Lessons Learned from Life on the Roads
9.01 € -6 %
Buy
The Undead: Organ Harvesting, the Ice-Water Test, Beating-Heart Cadavers--How Medicine Is Blurring the Line Between Life and Death
15.39 € -18 %
Buy
Discourse Delivered in the Meetinghouse on Church Green
12.56 € -25 %
Buy
Dressing the Wound: Give yourself the gift of forgiveness
6.88 € -6 %
Buy
Anthropology's Politics
23.81 € -12 %
Buy
History of African Motherhood
38.40 €
Buy
Chaucer's Dante
50.97 € -10 %
Buy
Handbook of Pharmaceutical Manufacturing Formulations, Third Edition
766.87 €
Buy
Modernism
31.81 € -9 %
Buy
Pedagogies, Physical Culture, and Visual Methods
64.04 €
Buy
Companion to the Altar. Shewing the Nature and Necessity of a Sacramental Preparation; ... the Seventeenth Edition.
13.27 € -25 %
Buy
Release
11.44 € -2 %
Buy
Doorway to the World
15.09 € -19 %
Buy
Multiple Sclerosis and Related Disorders
99.92 €
Buy
Neurophysiological Bases of Auditory Perception
216.77 €
Buy
The Anti-Corsican, a Poem [By M. Rolleston.].
17.32 € -2 %
Buy
In His Dreams: The Complete Collection
6.27 € -6 %
Buy
Europe's Foreign and Security Policy
46 €
Buy
Understanding Biochemical Pathways
115.83 €
Buy
All My Children Wear Fur Coats - 2nd Edition
14.79 € -25 %
Buy
GREVILLE LANDON, BY PIERS LISLE
32.83 € -2 %
Buy
Magnetic Nano- and Microwires
367.17 €
Buy
Formal Methods: Foundations and Applications
56.84 € -7 %
Buy
Napoleon Bonaparte and the Siege of Toulon
27.25 € -2 %
Buy
Biosensor Based Advanced Cancer Diagnostics
164.47 €
Buy
Kings of Mississippi
81.07 €
Buy
I'd Fight the World
72.35 €
Buy
Mommy, What I would do if I were you,
9.82 € -6 %
Buy
Thatcher: The Unauthorized Biography of Blackbeard the Pirate: Chronicle Two: The Duke of Bristol
18.33 € -7 %
Buy
Seven Deadliest Network Attacks
29.68 €
Buy
Exporting the American Model
94.04 €
Buy
David and the Sea Gulls;
28.37 € -1 %
Buy
World-Readiness Standards for Learning Languages, Fourth Edition
25.33 € -22 %
Buy
The Throne of Grace: The Amazing Power of Grace You Need Now
6.88 € -7 %
Buy
Deconstructing Courtship: The Dream Seeds
14.08 € -7 %
Buy
Wonderful Circles of Oz
240.18 €
Buy
Ew, People.: 120 Pages I 6x9 I Music Sheet I Funny Cat Mom & Kitty Lover Gifts
8.10 € -7 %
Buy
Birds of Prey, Blue Ribbon Techniques
33.94 € -25 %
Buy
100 Worksheets - Finding Place Values with 8 Digit Numbers: Math Practice Workbook
9.01 € -6 %
Buy
Disorder and Strain-Induced Complexity in Functional Materials
154.64 € -7 %
Buy
Child Labour and School Enrolment
47.12 € -9 %
Buy
Green Book On-Line PDFs: A Guide to Federal Government ACH Payments
15.80 € -7 %
Buy
Tricks, Traps & Shots of the Checkerboard
17.02 €
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 7th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2005, held in Athens, Greece on June 15-17, 2005. The FMOODS conference was held as a joint event in federation with the 5th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS 2005). §The 19 revised full papers presented together with an invited paper were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on models and calculi, UML, security, composition and verification, analysis of java programs, Web services, specification and verification.

Book details

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

51.78 €

Full title: Formal Methods for Open Object-Based Distributed Systems
Subtitle: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
Author: Martin Steffen, Gianluigi Zavattaro
Language: English
Binding: Paperback
Number of pages: 326
EAN: 9783540261810
ISBN: 3540261818
ID: 01560735
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 1060 g
Dimensions: 235 × 155 × 19 mm
Date of publishing: 03. June 2005