Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Formal Methods for Open Object-Based Distributed Systems

7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings

Language EnglishEnglish
Book Paperback
Book Formal Methods for Open Object-Based Distributed Systems Martin Steffen
Libristo code: 01560735
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, June 2005
This book constitutes the refereed proceedings of the 7th IFIP WG 6.1 International Conference on Fo... Full description
? points 136 b
19 925 Ft
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Die 30 besten Urlaubs- und Sommerlieder Simone Sommerland / Audio Audio CD
common.buy 4 785 Ft
Berliner U-Bahn-Linien: U4 - Die Schöneberger U-Bahn Alexander Seefeldt / Book Paperback
common.buy 1 569 Ft
Dna moczanowa Dieta i jadlospisy dla smakoszy Marcin Majewski / Book Paperback
common.buy 3 068 Ft
Zivilgesellschaftliches Engagement durch Community Radios Esther Dorn-Fellermann / Book Hardback
common.buy 16 991 Ft
Der deutsche Kaufmann in den Niederlanden Rudolf Häpke / Book Hardback
common.buy 12 133 Ft
Rainbow High - Carnet de mode (éd. 2024) / Book Book
common.buy 5 062 Ft
Affordable
Sci fuoripista. Manuale di tecniche di discesa Alessandro Fattori / Book Paperback
common.buy 5 386 Ft
Asche und Rubin Monika Taubitz / Book Paperback
common.buy 7 820 Ft
Pan'Pan Panda, une vie en douceur T01 Book Paperback
common.buy 5 488 Ft
Brönners Begräbnis Reinhard Sturm / Book Paperback
common.buy 4 549 Ft
Joomla 4.0 logisch! Daniel Schmitz-Buchholz / Book Paperback
common.buy 2 846 Ft
Examen clinique et sémiologie : l'essentiel Nicholas J TALLEY / Book Paperback
common.buy 18 079 Ft
El tesoro oculto de los templarios JOSEP GUIJARRO / Book Paperback
common.buy 4 872 Ft
Inteligencia emocional: habilidades emocionales para enfrentarse al desempleo / Book Paperback
common.buy 7 556 Ft
Canon PowerShot G5 X Mark II Kyra Sänger / Book Hardback
common.buy 10 402 Ft
Ravensburger Malen nach Zahlen Wilde Tiere - 32 Motive - 24 Farben - Malbuch mit nummerierten Ausmalfeldern für fortgeschrittene Fans der Reihe Sebastian Coenen / Book Paperback
common.buy 2 522 Ft
Biológia II. Dr. Szerényi Gábor / Book Hardback
common.buy 11 853 Ft
El club de las canguro. Julia y los niños imposibles RAINA TELGEMEIER / Book Paperback
common.buy 5 974 Ft
Dialog - Neue Generation Band 4 - 101 Grammatikübungen / Book Paperback
common.buy 4 683 Ft
Comment j'ai appris la simplicité Satish Kumar / Book Paperback
common.buy 8 556 Ft

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Formal Methods for Open Object-Based Distributed Systems
Author Martin Steffen, Gianluigi Zavattaro
Language English
Binding Book - Paperback
Date of issue 2005
Number of pages 326
EAN 9783540261810
ISBN 3540261818
Libristo code 01560735
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 1060
Dimensions 155 x 235 x 19

Categories

Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Nuclear Locally Convex Spaces Albrecht Pietsch / Book Paperback
common.buy 19 925 Ft
Disorder and Strain-Induced Complexity in Functional Materials Tomoyuki Kakeshita / Book Paperback
common.buy 59 544 Ft
Returned - They left to wage jihad, now they're back David Thomson / Book Hardback
common.buy 17 991 Ft
Building a Better World in Your Backyard Shawn Klassen-Koop / Book Paperback
common.buy 5 590 Ft
Child Labour and School Enrolment Horst Friedrich Rolly / Book Paperback
common.buy 18 195 Ft
Making Moon: A British Sci-Fi Cult Classic Simon Ward / Book Hardback
common.buy 12 017 Ft
I'd Fight the World Peter La Chapelle / Book Hardback
common.buy 25 751 Ft
Affordable
African Spurred Tortoises as Pets. African Spurred Tortoise Book for Care, Housing, Keeping, Diet and Health. Daniel Grimson / Book Paperback
common.buy 2 702 Ft
Kings of Mississippi Barnes / Book Hardback
common.buy 32 340 Ft
Study Guide for Chitra Banerjee Divakaruni's Cutting the Sun Cengage Learning Gale / Book Paperback
common.buy 4 507 Ft
Multiple Sclerosis and Related Disorders Robert J. Fox / Book Paperback
common.buy 39 897 Ft
The ACT Deck: 55 Acceptance & Commitment Therapy Practices to Build Connection, Find Focus and Reduce Stress Timothy Gordon / Printed items Cards
common.buy 5 178 Ft
Affordable
Modern Poker: Why It Is Impractical to Use Pot Odds in Texas Hold'em Farshad Arasteh / Book Paperback
common.buy 4 391 Ft
Beast A Zavarelli / Book Paperback
common.buy 5 692 Ft
Ew, People.: 120 Pages I 6x9 I Music Sheet I Funny Cat Mom & Kitty Lover Gifts Funny Notebooks / Book Paperback
common.buy 3 285 Ft
In His Dreams: The Complete Collection Mason Lee / Book Paperback
common.buy 2 522 Ft
Green Book On-Line PDFs: A Guide to Federal Government ACH Payments Financial Management Service / Book Paperback
common.buy 6 400 Ft
Anthropology's Politics Lara Deeb / Book Paperback
common.buy 9 713 Ft
Deconstructing Courtship: The Dream Seeds Gerald A Edozien / Book Paperback
common.buy 5 710 Ft
The Conspiracy Trial for the Murder of the President, and the Attempt to Overthrow the Government by the Assassination of Its Principal Officers Ben Perley Poore / Book Paperback
common.buy 11 739 Ft
Running Around the World: Lessons Learned from Life on the Roads MR David Bishop / Book Paperback
common.buy 3 623 Ft
Thatcher: The Unauthorized Biography of Blackbeard the Pirate: Chronicle Two: The Duke of Bristol David W Carroll / Book Paperback
common.buy 7 427 Ft
Dressing the Wound: Give yourself the gift of forgiveness Vickie Petz Henderson M D / Book Paperback
common.buy 2 772 Ft
Understanding Biochemical Pathways Carol A. Wilkins / Book Hardback
common.buy 44 033 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?