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.49 € DPD courier 3.99 € DPD point 2.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: 214.29 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

524 b

214.29 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

30-day return policy

Customers also purchased

Disney,The Princess and the Frog

Game

15.99 €

Abenteuer Der Neujahrsnacht Heinrich Zschokke

Hardback

24.90 €

Bei Sonnenaufgang. Der siebte Fall für Gamache Hans-Werner Meyer

Digital

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

26.29 €

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

Paperback

52.95 €

13. Bezirk von Berlin Volker Ludecke

Paperback

12.19 €

Him - Hofe Willi Gorzny

Hardback

134.29 €

El Secreto de la Felicidad: Bitacora de un Viaje al Interior Montse Lopez Ballester

Paperback

12.49 €

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

Game

35.79 €

Hirurgiya sosudov Alexej Lyzikov

Paperback

52.49 €

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

Paperback

15.09 €

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

Paperback

19.69 €

Mýtus o znovuzrození Jakub Drábik

Paperback

10.89 €

Moeglichkeiten und Grenzen betrieblicher Gesundheitszirkel Martin Franke

Paperback

38.00 €

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

Hardback

9.95 €

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

Paperback

17.95 €

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.