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 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Formal Methods for Open Object-Based Distributed Systems IV

Name: Formal Methods for Open Object-Based Distributed Systems IV
Brand: Springer, Berlin
SKU: 01397318
Price: 228.6 EUR
Availability: InStock
Author: Scott F. Smith
ISBN: 9780792379232

IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6-8, 2000, Stanford, California, USA

Scott F. Smith

Carolyn L. Talcott

Língua

Inglês

Livro Livro de capa dura

Código Libristo: 01397318

Editoras Springer, Berlin, novembro 1999

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

Código Libristo: 01397318

556 b

228.60 €

Armazenamento externo Envio em 10-16 dias

Até 30 dias para devoluções

Os clientes também compraram

Preži túto noc Riley Sager

Livro de capa dura

16.79 €

Modely lásky Barry Vissell

Livro de capa dura

7.33 €

Vatikán a české země v letech 1914-1918 Marek Šmíd

Folha

15.38 €

Silence Scorcese

Capa mole

10.85 €

message

Capa mole

19.10 €

Faraonova šperkovnice Christa Holteiová

Capa mole

7.63 €

Moje první knížka o mořích a oceánech Jane Newland

Livro concertina

4.11 €

Hat der Entbindungsort einen Einfluss auf die Sterblichkeit von Neugeborenen Justice Ajaari

Capa mole

51.48 €

Mimi a Líza: Tmy sa nemusíš báť Katarína Kerekesová

Livro de capa dura

10.45 €

Brillo en la tierra del cangaço

Capa mole

60.96 €

Velké samolepky Dopravní prostředky - Aktivity s více než 80 samolepkami

Encadernação com argola

6.12 €

Egon Schiele ? Adrian Ghenie. Schattenbilder Adrian Ciprian Barsan

Livro de capa dura

52.59 €

Божественная комедия. В трёх томах Данте Алигьери

Livro de capa dura

75.72 €

Autodesk Inventor 2015 - Aufbaukurs Konstruktion Christian Schlieder

Capa mole

17.99 €

¡SUEÑA!

Livro de capa dura

20.21 €

Iphigenie auf Tauris Johann Wolfgang Goethe

Capa mole

4.92 €

Ilkögretim Ögrencilerinin Kavram Yanilgilari Serdar Baran

Capa mole

186.66 €

Mehr als Worte singt ein Lied Wilfried Koch

Capa mole

25.44 €

Burg Dublin Irland - 1.000 Teile (Puzzle)

Jogo

31.07 €

UN AIR DE MÉTRO Sophie Bureau

Capa mole

14.17 €

Güter und Ungüter. Hans G. Fuchs

Livro de capa dura

63.35 €

Europa der Regionen. Joachim Bauer

Capa mole

63.35 €

Kinder und Fernsehen unter dem Aspekt von Gewaltwahrnehmung und Angstbewaltigung Eva Oestreich

Capa mole

16.99 €

Wissensentwicklungskompetenz im Business-to-Business-Bereich Ilka Griese

Capa mole

70.69 €

Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented 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. §Papers in this volume focus on the following specific technologies: components; mobile code; Java®; The Unified Modeling Language (UML); refinement of specifications; types and subtyping; temporal and probabilistic systems. This volume comprises the proceedings of the Fourth International Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), which was sponsored by the International Federation for Information Processing (IFIP) and held in Stanford, California, USA, in September 2000.