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

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

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 Hardback

Libristo code: 01397625

Publishers Springer, Berlin, November 1998

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

Libristo code: 01397625

498 b

203.39 € VAT included

In stock at our supplier Shipping in 10-13 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Hvězdný posel Petr Sís

Hardback

14.29 €

Repensar la experiencia del cliente Victor M. Gonzalez

Adobe ePub DRM

13.49 €

Děvky, šlapky, hampejznice / Dějiny prodejného sexu Kate Listerová

Hardback

14.59 €

Sognavo Gettysburg. Viaggio sui campi di battaglia della guerra civile americana Carlo Miccichè

Paperback

18.39 €

Dopo il tramonto Stella Sibila

Paperback

40.29 €

Der GSV ist wieder da! Ulf Krämer

Paperback

12.99 €

Imunopatologické stavy v kazuistikách Zuzana a kol. Humlová

Hardback

15.49 €

ČAUČESKU Tomáš Klus

Audio CD

9.09 €

macchina del tempo-L'isola del dottor Moreau Herbert George Wells

Paperback

9.09 €

La hermandad de la Sabana Santa Julia Navarro

Paperback

17.49 €

Rutas de Polichinela Toni Rumbau

Paperback

23.69 €

Als die Ostfriesen frech geworden ... Walther Rohdich

Hardback

25.95 €

You're Driving Me Crazy Van Morrison

Audio CD

17.99 €

LA LLUVIA EN EL MAR VICENTE ARAGUAS

Paperback

28.49 €

Materiales para las clases de espanol D

Paperback

9.89 €

Hamlet, Prinz von Danemark (Grossdruck) William Shakespeare

Paperback

12.80 €

Nouveau Cours Complet d'Agriculture Theorique Et Pratique Contenant La Grande Et La Petite Culture THOUIN-A

Paperback

33.99 €

JO VISC A...LLEIDA ROGER ROIG

Hardback

7.99 €

DOG Kids

Game

8.29 €

Cuaderno del alumno Corte de cabello y técnicas complementarias (MF0351_2: Transversal). Certificado Gobierno Alonso

Paperback

8.89 €

Der Mensch lebt nicht vom Brot allein Lothar Pöll

Paperback

20.00 €

Reichweite und Bedeutung von Art. 25 EuInsVO. Jördis Ambach

Paperback

99.90 €

Ueber Die Besoldungen Der Kirchen-Diener Philipp Albert Stapfer

Paperback

14.09 €

Die Spannungszahl. Claus Köhler

Paperback

12.69 €

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.