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 - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540688624 - 29 de maio de 2008
Caso a capa e o título não sejam correspondentes, considere o título como correto

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 2008 edition

Preço
R$ 296,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 7 - 13 de out
Receba avisos sobre novos lançamentos de Gilles Barthe
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

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

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 29 de maio de 2008
ISBN13 9783540688624
Editoras Springer-Verlag Berlin and Heidelberg Gm
Gênero Aspects (Academic) > Science / Technology Aspects
Páginas 259
Dimensões 155 × 235 × 14 mm   ·   408 g
Idioma Francês  
Editor Barthe, Gilles

Mais por Gilles Barthe

Mostrar tudo

Mais da mesma editora