Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

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 GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

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, 1

Name: Formal Methods for Open Object-Based Distributed Systems, 1
Brand: Springer, Berlin
SKU: 02254113
Price: 79260 HUF
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

541 b

79 260 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Disney,The Princess and the Frog

Game

5 366 Ft

Abenteuer Der Neujahrsnacht Heinrich Zschokke

Hardback

8 675 Ft

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

Digital

7 386 Ft

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

Paperback

9 734 Ft

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

Paperback

18 321 Ft

13. Bezirk von Berlin Volker Ludecke

Paperback

4 483 Ft

Him - Hofe Willi Gorzny

Hardback

49 625 Ft

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

Paperback

4 603 Ft

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

Game

12 179 Ft

Hirurgiya sosudov Alexej Lyzikov

Paperback

19 449 Ft

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

Paperback

5 583 Ft

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

Paperback

6 683 Ft

Mýtus o znovuzrození Jakub Drábik

Paperback

3 693 Ft

Moeglichkeiten und Grenzen betrieblicher Gesundheitszirkel Martin Franke

Paperback

13 177 Ft

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

Hardback

3 531 Ft

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

Paperback

6 272 Ft

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.