Formal Methods for Open Object-Based Distributed Systems IV : Ifip Tc6/Wg6.1. Fourth International Conference on Formal Methods for Open Object-Based D

Idioma: inglés

Editorial: Springer Nature B.V. Aug 2000, 2000

0792379233 / 9780792379232

Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH

Vendedor de 5 estrellas

Vendedor de AbeBooks desde 14 de agosto de 2006

Ver los artículos de este vendedor
Tapa dura

Condición: Nuevo

EUR 314,64

Envío por EUR 30,50 
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 2 disponibles

Añadir al carrito
Devoluciones gratuitas de 30 días

Descripción del artículo del vendedor

Neuware - 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.

N° de ref. del artículo 9780792379232

Título
Formal Methods for Open Object-Based Distributed Systems IV : Ifip Tc6/Wg6.1. Fourth International Conference on Formal Methods for Open Object-Based D
Autor
International Conference on Formal Metho
Editorial
Springer Nature B.V. Aug 2000
Año de publicación
2000
Estado
Neu
Encuadernación
Buch
Idioma
inglés
ISBN 10
0792379233
ISBN 13
9780792379232
Peso del artículo
780 gramos
Dimensiones
234x156x24 mm

AHA-BUCH GmbH

Einbeck, Alemania

Vendedor de 5 estrellas

Vendedor de AbeBooks desde 14 de agosto de 2006

Tarifas de envío de Alemania a Estados Unidos de America

ArtículoDe 5 a 7 días hábilesDe 7 a 10 días hábiles
Primer artículoEUR 30,50EUR 30,50
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.

Métodos de pago

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Cheque
  • Giro bancario
  • PayPal

Descripción de la tienda

Das Unternehmen AHA-BUCH GmbH: Seit der Gründung von AHA-BUCH im Juli 2005 ist unser Hauptziel, zufriedenen Kunden so schnell und so preisgünstig wie möglich ihren Bücherwunsch zu erfüllen. Unsere Firma beschäftigt 16 Mitarbeiter, die nur ein Ziel kennen: den Kunden und seine Wünsche! Auf über 3700 m2 Fläche haben wir über 100.000 Bücher, Modernes Antiquariat und Spiele auf Lager.

Especialidad

Kinderbücher & Kinderhör Casetten, German Books, Software, Natur & Tiere, Ratgeber, Sachbücher, Englische Bücher, Medizin & Gesundheit, Universität & Studium

Información empresarial del vendedor

AHA-BUCH GmbH

Garlebsen 48
Einbeck, Alemania 37574