Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Correio MRW 3.99 € Ponto DPD 3.99 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

Formal Methods for Open Object-Based Distributed Systems

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

Língua

Inglês

Livro Livro de capa dura

Código Libristo: 01397625

Editoras Springer, Berlin, novembro 1998

Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several relate... Descrição completa

Código Libristo: 01397625

444 b

183.43 €

Armazenamento externo Envio em 10-13 dias

Política de devolução de 30 dias

Os clientes também compraram

Der GSV ist wieder da! Ulf Krämer

Capa mole

10.41 €

Zap & Varini

Capa mole

25.59 €

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

Capa mole

8.19 €

Ez van Vida Gusztáv

Livro de capa dura

7.17 €

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

Livro de capa dura

13.55 €

Ueber Die Besoldungen Der Kirchen-Diener Philipp Albert Stapfer

Capa mole

12.43 €

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

Livro de capa dura

12.84 €

JO VISC A...LLEIDA ROGER ROIG

Livro de capa dura

7.38 €

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

Capa mole

30.24 €

Hamlet, Prinz von Danemark (Grossdruck) William Shakespeare

Capa mole

10.21 €

Materiales para las clases de espanol D

Capa mole

8.79 €

Als die Ostfriesen frech geworden ... Walther Rohdich

Livro de capa dura

20.53 €

Causeries Sur l'Economie Politique Roblin-E

Capa mole

17.39 €

Femme Du Banquier: Histoire Contemporaine. Tome 2 Baron Etienne Leon Lamothe-Langon

Capa mole

25.99 €

Der Mensch lebt nicht vom Brot allein Lothar Pöll

Capa mole

17.49 €

Die Spannungszahl. Claus Köhler

Capa mole

11.63 €

Neue Formen und Bedingungen der Erwerbsarbeit in Frankreich. Armin Höland

Capa mole

50.28 €

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.