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 :-(

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: 195.73 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

474 b

195.73 €

Armazenamento externalo em pequenas quantidades Envio em 13-18 dias

Política de devolução de 30 dias

Os clientes também compraram

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

Folha

12.92 €

¡SUEÑA!

Livro de capa dura

17.17 €

Modely lásky Barry Vissell

Livro de capa dura

6.15 €

Burg Dublin Irland - 1.000 Teile (Puzzle)

Jogo

26.26 €

Silence Scorcese

Capa mole

10.40 €

Faraonova šperkovnice Christa Holteiová

Capa mole

6.46 €

Preži túto noc Riley Sager

Livro de capa dura

14.14 €

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

Capa mole

43.14 €

Brillo en la tierra del cangaço

Capa mole

51.02 €

Egon Schiele ? Adrian Ghenie. Schattenbilder Adrian Ciprian Barsan

Livro de capa dura

43.85 €

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

Livro de capa dura

55.27 €

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

Livro concertina

6.15 €

Mehr als Worte singt ein Lied Wilfried Koch

Capa mole

21.31 €

Autodesk Inventor 2015 - Aufbaukurs Konstruktion Christian Schlieder

Capa mole

15.05 €

UN AIR DE MÉTRO Sophie Bureau

Capa mole

11.91 €

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

Livro de capa dura

50.01 €

Europa der Regionen. Joachim Bauer

Capa mole

45.56 €

Deutsche Gedichte des zwoelften Jahrhunderts Kraus Carl von Kraus

Capa mole

18.18 €

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

Capa mole

14.24 €

A la caza de la realidad Mario Augusto Bunge

Capa mole

44.15 €

Wissensentwicklungskompetenz im Business-to-Business-Bereich Ilka Griese

Capa mole

60.12 €

Ilkögretim Ögrencilerinin Kavram Yanilgilari Serdar Baran

Capa mole

39.30 €

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.