Check order status

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

Austrian Post 5.99 € GLS courier 5.49 € DPD courier 4.99 € DPD point 3.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Formal Methods for Open Object-Based Distributed Systems, 1

Name: Formal Methods for Open Object-Based Distributed Systems, 1
Brand: Springer, Berlin
SKU: 02254113
Price: 203.39 EUR
Availability: InStock
Author: Paolo Ciancarini
ISBN: 9781475752663

IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15 18, 1999, Florence, Italy

Paolo Ciancarini

Alessandro Fantechi

Roberto Gorrieri

Language

English

Book Paperback

Libristo code: 02254113

Publishers Springer, Berlin, January 2013

Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several relate... Full description

Libristo code: 02254113

498 b

203.39 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Disney,The Princess and the Frog

Game

15.99 €

Abenteuer Der Neujahrsnacht Heinrich Zschokke

Hardback

24.90 €

Depression im Jugendalter - unter besonderer Berücksichtigung der Komorbidität zwischen Angst und Depression und Aggression und Depression Alexandra Nussbaumer

Paperback

52.95 €

der Mond der Regen die Nacht und das Blau

Paperback

14.99 €

Integration Der Englischen in Die Deutsche Sprache Im 19. Und 20. Jahrhundert Florian Schneider

Paperback

17.95 €

Animali Walter Obert

Board book

17.09 €

Pirati. Book&puzzle

Paperback

11.89 €

Carte Géographique nostalgique - Tokyo Ezu

binding.

21.69 €

mondo dei fagioli ribelli. Il diritto alla normalità dei bambini con malattia renale cronica. Svezzamento, cure, scuola, socialità, alimentazione, spo Bruno Damini

Paperback

24.89 €

Gay: Duro Kathleen Hope

Adobe ePub DRM

3.39 €

Moeglichkeiten und Grenzen betrieblicher Gesundheitszirkel Martin Franke

Paperback

38.00 €

Samorząd terytorialny w Polsce Gawłowski Robert

Paperback

23.69 €

Ponyhof Apfelblüte (Band 1) - Lena und Samson Pippa Young

Hardback

9.95 €

unicos 6 pasos que necesitaras para eliminar cualquier mal habito y crear habitos positivos Steve Allen

Paperback

15.89 €

Slownik medyczny polsko-norweski + definicje hasel + CD (slownik elektroniczny) Lemańska Aleksandra

Paperback

15.49 €

Alcalá de Henares en la literatura clásica, siglos XVI y XVII Germán Marquínez Argote

Paperback

20.19 €

Das Beste aus 15 Jahren Ernst & die Egerländer Musikanten Hutter

Audio CD

17.69 €

Des Voies d'Acces Sur Les Voies Spermatiques Profondes Jobard-P

Paperback

14.09 €

Hirurgiya sosudov Alexej Lyzikov

Paperback

49.49 €

Napoleon Et Ses Recents Historiens Sans Auteur

Paperback

25.39 €

Ein Motiv aus dem Kalender Klassische Lastkraftwagen (Puzzle) Stefan Bau

Game

33.99 €

ONE-PUNCH MAN - Box mit Band 1-5 Yusuke Murata

Paperback

53.00 €

Ein Boygroupstar zum Verlieben Aaliyah Abendroth

Paperback

12.99 €

Mýtus o znovuzrození Jakub Drábik

Paperback

10.49 €

Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. §Many topics are discussed, including the following important areas: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object-oriented methods. §This volume comprises the proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS), sponsored by the International Federation for Information Processing (IFIP) which was held in Florence, Italy, in February 1999. §Formal Methods for Open Object-Based Distributed Systems is suitable as a secondary text for graduate-level courses in computer science and telecommunications, and as a reference for researchers and practitioners in industry, commerce and government.