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
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €
phone Contact phoneHow to shop

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 132 b
53.79 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

30-day return policy

Customers also purchased

Alex, Adrenalin pur! Damaris Kofmehl / Book Paperback
common.buy 10.95 €
Asche und Rubin Monika Taubitz / Book Paperback
common.buy 22.89 €
Die 30 besten Urlaubs- und Sommerlieder Simone Sommerland / Audio Audio CD
common.buy 12.89 €
Le Livre Des Morts Tibetain Collective / Book Paperback
common.buy 13.79 €
Inteligencia emocional: habilidades emocionales para enfrentarse al desempleo / Book Paperback
common.buy 20.39 €
El tesoro oculto de los templarios JOSEP GUIJARRO / Book Paperback
common.buy 13.59 €
Affordable
Sci fuoripista. Manuale di tecniche di discesa Alessandro Fattori / Book Paperback
common.buy 14.99 €
Der deutsche Kaufmann in den Niederlanden Rudolf Häpke / Book Hardback
common.buy 34.90 €
Zivilgesellschaftliches Engagement durch Community Radios Esther Dorn-Fellermann / Book Hardback
common.buy 49.00 €
Dna moczanowa Dieta i jadlospisy dla smakoszy Marcin Majewski / Book Paperback
common.buy 8.99 €
Joomla 4.0 logisch! Daniel Schmitz-Buchholz / Book Paperback
common.buy 7.95 €
Berliner U-Bahn-Linien: U4 - Die Schöneberger U-Bahn Alexander Seefeldt / Book Paperback
common.buy 4.50 €
Canon PowerShot G5 X Mark II Kyra Sänger / Book Hardback
common.buy 29.90 €
Brönners Begräbnis Reinhard Sturm / Book Paperback
common.buy 12.90 €
El club de las canguro. Julia y los niños imposibles RAINA TELGEMEIER / Book Paperback
common.buy 16.59 €
Dialog - Neue Generation Band 4 - 101 Grammatikübungen / Book Paperback
common.buy 13.59 €
Comment j'ai appris la simplicité Satish Kumar / Book Paperback
common.buy 24.79 €
Examen clinique et sémiologie : l'essentiel Nicholas J TALLEY / Book Paperback
common.buy 52.49 €
Biológia II. Dr. Szerényi Gábor / Book Hardback
common.buy 31.29 €
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 6.99 €
Pan'Pan Panda, une vie en douceur T01 Book Paperback
common.buy 15.89 €
Rainbow High - Carnet de mode (éd. 2024) / Book Book
common.buy 14.69 €

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 53.79 €
Disorder and Strain-Induced Complexity in Functional Materials Tomoyuki Kakeshita / Book Paperback
common.buy 160.89 €
Anthropology's Politics Lara Deeb / Book Paperback
common.buy 26.19 €
Neurophysiological Bases of Auditory Perception Enrique A. Lopez-Poveda / Book Hardback
common.buy 237.29 €
Direct Legislation by the Citizenship through the Initiative and Referendum James William Sullivan / Book Paperback
common.buy 12.29 €
Problem-Based Learning in Clinical Education Susan Bridges / Book Hardback
common.buy 107.29 €
Europe's Foreign and Security Policy Michael E. Smith / Book Paperback
common.buy 49.79 €
Processing and Nutrition of Fats and Oils Ernesto Hernandez / Book Hardback
common.buy 240.69 €
Pedagogies, Physical Culture, and Visual Methods Laura Azzarito / Book Paperback
common.buy 69.09 €
The Egyptian Cinderella Shirley Climo / Book Paperback
common.buy 8.89 €
Seven Deadliest Network Attacks Stacy Prowell / Book Paperback
common.buy 31.99 €
New Total English Intermediate Students' Book with Active Book Pack Rachael Roberts / Book Paperback
common.buy 36.09 €
Exporting the American Model Marie-Laure Djelic / Book Paperback
common.buy 92.29 €
Herbert A. Simon Hunter Crowther-Heyck / Book Hardback
common.buy 71.99 €
Comforters Muriel Spark / Book Paperback
common.buy 15.39 €
Scanning Electron Microscopy and X-Ray Microanalysis Joseph Goldstein / Book Paperback
common.buy 107.29 €
Birds of Prey, Blue Ribbon Techniques William Veasey / Book Hardback
common.buy 37.99 €
Doorway to the World Hugh Steven / Book Paperback
common.buy 16.79 €
Napoleon Bonaparte and the Siege of Toulon Fox / Book Hardback
common.buy 29.69 €
Discourse Delivered in the Meetinghouse on Church Green Ezra Stiles Gannett / Book Paperback
common.buy 14.09 €
Companion to the Altar. Shewing the Nature and Necessity of a Sacramental Preparation; ... the Seventeenth Edition. William Vickers / Book Paperback
common.buy 14.89 €
Awakening The Soul Bill Missett / Book Paperback
common.buy 16.79 €
Antisemitism: A Very Short Introduction Steven Beller / Book Paperback
common.buy 11.19 €
History of African Motherhood Rhiannon Stephens / Book Paperback
common.buy 41.59 €

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?