Name: formal methods for open object-based distributed systems (en Inglés)
SKU: 3484382
Price: 59.46 USD
Availability: InStock
Author: Gorrieri, Roberto ; Wehrheim, Heike
ISBN: 9783540348931

portada formal methods for open object-based distributed systems (en Inglés)

formal methods for open object-based distributed systems (en Inglés)

Formato

Libro Físico

Ilustrado por

Roberto Gorrieri

Heike Wehrheim

Editorial

Springer

Autor

Gorrieri, Roberto ; Wehrheim, Heike

Idioma

Inglés

N° páginas

276

Encuadernación

Tapa Blanda

Dimensiones

23.4x15.6x1.5 cm

Peso

0.40 kg.

ISBN

354034893X

ISBN13

9783540348931

Categorías

Sistemas operativos
Programación orientada a objetos (poo)
Lenguajes de programación y extensión/scripting: general

formal methods for open object-based distributed systems (en Inglés)

Roberto Gorrieri (Ilustrado por) · Heike Wehrheim (Ilustrado por) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 17 a 24 días háb.

$ 108.11$ 59.46

-45%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 59.46

Llega entre el 07 Oct y el 21 Oct a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "formal methods for open object-based distributed systems (en Inglés)"

This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2006, held in Bologna, Italy, June 2006. The book presents 16 revised full papers together with an invited paper and abstracts of 2 invited talks. Coverage includes component- and model-based design, service-oriented computing, software quality, modeling languages implementation, formal specification, verification, validation, testing, and service-oriented systems.