Gilles Barthe
Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings - Lecture Notes in Computer Science Gilles Barthe 2008 edition

Name: Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings - Lecture Notes in Computer Science
Price: 55.99 USD
Availability: OutOfStock
Author: Gilles Barthe

Precio

$ 55,99

sin IVA

Pedido desde almacén remoto

Entrega prevista 26 de jun. - 9 de jul.

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores

Mejor valorado en Trustpilot

Añadir a tu lista de deseos de iMusic

Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings - Lecture Notes in Computer Science

Gilles Barthe

2008 edition

This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008. formal methods for service-oriented computing; integration of quality of service requirements into formal models;

259 pages, black & white illustrations

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	29 de mayo de 2008
ISBN13	9783540688624
Editores	Springer-Verlag Berlin and Heidelberg Gm
Género	Aspects (Academic) > Science / Technology Aspects
Páginas	259
Dimensiones	155 × 235 × 14 mm · 408 g
Lengua	Francés
Editor	Barthe, Gilles