Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches - Howard Bowman - Livros - Cambridge University Press - 9780521168755 - 21 de julho de 2011
Caso a capa e o título não sejam correspondentes, considere o título como correto

Howard Bowman
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches

Preço
R$ 407,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 8 - 15 de jan de 2026
Presentes de Natal podem ser trocados até 31 de janeiro

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

This 2002 collection of comprehensive surveys by leading researchers presents techniques in the application of formal methods to object-based distributed systems, including sections on dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects.

492 pages, black & white illustrations

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 21 de julho de 2011
ISBN13 9780521168755
Editoras Cambridge University Press
Páginas 492
Dimensões 256 × 178 × 31 mm   ·   922 g
Idioma Inglês  
Editor Bowman, Howard (University of Kent, Canterbury)
Editor Derrick, John (University of Kent, Canterbury)

Mais por Howard Bowman

Mostrar tudo

Ver tudo de Howard Bowman ( por exemplo Hardcover Book e Paperback Book )